[LLVMbugs] [Bug 7829] New: -loop-extract crash "Invalid DominatorTree info!"

[bugzilla-daemon at llvm.org]

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

           Summary: -loop-extract crash "Invalid DominatorTree info!"
           Product: new-bugs
           Version: unspecified
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: new bugs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: baldrick at free.fr
                CC: llvmbugs at cs.uiuc.edu


Created an attachment (id=5333)
 --> (http://llvm.org/bugs/attachment.cgi?id=5333)
testcase .ll

I actually think this is a pass manager problem.  The loop-extract pass does
not
preserve dominator info, nonetheless dominator info is not being recalculated
after it has run on each loop as far as I can see.

Anyway, here's what goes wrong:

$ opt -loop-extract enormlz.bc -o /dev/null 
opt: llvm/lib/VMCore/Dominators.cpp:70: virtual void
llvm::DominatorTree::verifyAnalysis() const: Assertion `!compare(OtherDT) &&
"Invalid DominatorTree info!"' failed.

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