[LLVMbugs] [Bug 13967] New: IndVarSimplify::runOnLoop: Assertion `Idx >= 0 && "Invalid basic block argument!"'

[bugzilla-daemon at llvm.org]

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

             Bug #: 13967
           Summary: IndVarSimplify::runOnLoop: Assertion `Idx >= 0 &&
                    "Invalid basic block argument!"'
           Product: libraries
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Loop Optimizer
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: kcc at google.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified


clang r164813, 64-bit linux; test case by csmith+creduce


clang -c -w   3158503489.i -m32 -O3

clang -cc1 -triple i386-unknown-linux-gnu -emit-obj -disable-free
-main-file-name 3158503489.i -mrelocation-model static -fmath-errno
-masm-verbose -mconstructor-aliases -target-cpu pentium4
-momit-leaf-frame-pointer -v  -O3 -w -ferror-limit 19 -fmessage-length 196
-mstackrealign -fobjc-runtime=gcc -fdiagnostics-show-option -fcolor-diagnostics
-o 3158503489.o -x cpp-output 3158503489.i

//////////////////////////////////////////////////
a;
b;
long long c;
fn1 () {
  int *d = &b;
lbl_1155:
  *d = a ? ++c : ++c / 0;
  if (b)
    goto lbl_1155;
}



#3  0x0000000000e5d531 in
llvm::PHINode::getIncomingValueForBlock(llvm::BasicBlock const*) const ()
#4  0x0000000000e81512 in (anonymous
namespace)::IndVarSimplify::runOnLoop(llvm::Loop*, llvm::LPPassManager&) ()
#5  0x000000000104902c in llvm::LPPassManager::runOnFunction(llvm::Function&)
()
#6  0x00000000011b054d in llvm::FPPassManager::runOnFunction(llvm::Function&)
()

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