[LLVMbugs] [Bug 1042] Verifier doesn't catch invalid invoke use

[bugzilla-daemon at cs.uiuc.edu]

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

sabre at nondot.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
          Component|Common Code Generator Code  |Core LLVM classes
         Resolution|                            |FIXED
            Summary|Assertion failed in         |Verifier doesn't catch
                   |LiveVariables.cpp:157       |invalid invoke use
   Target Milestone|---                         |2.0
            Version|trunk                       |1.0



------- Additional Comments From sabre at nondot.org  2006-12-15 20:28 -------
This is actually a verifier bug not rejecting broken code.  Fixed with this patch:
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20061211/041486.html

Testcases here: test/Regression/Verifier/invoke-[12].ll

Note that the broken LLVM code was made by some transformation that is buggy.  That means that if 
you try to compile the source that produced this again, you'll get an assert.  Please file another bug so 
we can fix that.

Thanks,

-Chris



------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.