[LLVMbugs] [Bug 1706] New: Assertion failure: Linear scev computation is off in a bad way!

[bugzilla-daemon at cs.uiuc.edu]

http://llvm.org/bugs/show_bug.cgi?id=1706

           Summary: Assertion failure: Linear scev computation is off in a
                    bad way!
           Product: libraries
           Version: 2.0
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Interprocedural Analyses
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: richard.smith at antixlabs.com
                CC: llvmbugs at cs.uiuc.edu


Created an attachment (id=1143)
 --> (http://llvm.org/bugs/attachment.cgi?id=1143)
Testcase

Using the attached,

llvm-gcc bug.c -o bug -O3

gives

cc1:
/home/ros/svn/agp/trunk/toolchain/llvm/llvm/lib/Analysis/ScalarEvolution.cpp:2401:
llvm::SCEVHandle
llvm::SCEVAddRecExpr::getNumIterationsInRange(llvm::ConstantRange, bool) const:
Assertion `Range.contains( EvaluateConstantChrecAtConstant(this,
ConstantInt::get(ExitVal - One))->getValue()) && "Linear scev computation is
off in a bad way!"' failed.
74.c: At top level:
74.c:16: internal compiler error: Aborted
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://llvm.org/bugs> for instructions.


-- 
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.