[LLVMbugs] [Bug 7649] New: dominance frontier not updated correctly

[bugzilla-daemon at llvm.org]

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

           Summary: dominance frontier not updated correctly
           Product: libraries
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Loop Optimizer
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: grosser at fim.uni-passau.de
                CC: llvmbugs at cs.uiuc.edu


With llvm trunk this fails for me:

> opt -mem2reg -indvars /tmp/bug.ll  -verify-dom-info

opt: lib/VMCore/Dominators.cpp:119: virtual void
llvm::DominanceFrontier::verifyAnalysis() const: Assertion `!compare(OtherDF)
&& "Invalid DominanceFrontier info!"' failed.
Stack dump:
0.    Program arguments: opt -mem2reg -indvars /tmp/bug.ll -verify-dom-info 
1.    Running pass 'Function Pass Manager' on module '/tmp/bug.ll'.
2.    Running pass 'Loop Pass Manager' on function '@VBR_iteration_loop_new'
zsh: abort      opt -mem2reg -indvars /tmp/bug.ll -verify-dom-info

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