[LLVMbugs] [Bug 13245] New: LazyValueInfo assert failure `BI->getSuccessor(!isTrueDest) == BBTo && "BBTo isn't a successor of BBFrom"'

[bugzilla-daemon at llvm.org]

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

             Bug #: 13245
           Summary: LazyValueInfo assert failure
                    `BI->getSuccessor(!isTrueDest) == BBTo && "BBTo isn't
                    a successor of BBFrom"'
           Product: new-bugs
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: new bugs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: baldrick at free.fr
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified


Created attachment 8797
  --> http://llvm.org/bugs/attachment.cgi?id=8797
testcase .ll

This is a recent regression (last day or two):

$ opt -O2 -disable-output variadic-function.ll
opt: llvm/lib/Analysis/LazyValueInfo.cpp:784: bool
getEdgeValueLocal(llvm::Value*, llvm::BasicBlock*, llvm::BasicBlock*,
{anonymous}::LVILatticeVal&): Assertion `BI->getSuccessor(!isTrueDest) == BBTo
&& "BBTo isn't a successor of BBFrom"' failed.
Stack dump:
0.    Program arguments: opt -O2 -disable-output variadic-function.ll 
1.    Running pass 'CallGraph Pass Manager' on module 'variadic-function.ll'.
2.    Running pass 'Jump Threading' on function '@main'
Aborted (core dumped)

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