[LLVMbugs] [Bug 9012] "undef" in conditional branches may lead to assertion failure

[bugzilla-daemon at llvm.org]

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

Chris Lattner <clattner at apple.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |INVALID

--- Comment #2 from Chris Lattner <clattner at apple.com> 2011-01-21 12:54:57 CST ---
I don't think that the scenario you are suggesting is possible.  Here's a
trivial testcase that should show the issue:

define void @test() {
  br i1 1, label %Out, label %Loop

Loop:
  br i1 undef, label %Loop, label %Out
Out:
  ret void
}

This is not a problem, because dead blocks are run through
DeleteInstructionInBlock before the deletion loop happens.  If this is a real
problem that manifests, please reopen with a testcase.  Thanks!

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