[LLVMbugs] [Bug 13489] New: SolveQuadraticEquation asserts on certain infinite loops

bugzilla-daemon at llvm.org bugzilla-daemon at llvm.org
Tue Jul 31 05:25:39 PDT 2012


             Bug #: 13489
           Summary: SolveQuadraticEquation asserts on certain infinite
           Product: libraries
           Version: trunk
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P
         Component: Loop Optimizer
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: vslugovsky at gmail.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

Created attachment 8967
  --> http://llvm.org/bugs/attachment.cgi?id=8967
Test case

There is no check for a negative value of 'B^2-4AC' in SolveQuadraticEquation
in ScalarEvolution.cpp

Some infinite loops can cause an assertion. See an attached test case.

Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.

More information about the llvm-bugs mailing list