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

bugzilla-daemon at cs.uiuc.edu bugzilla-daemon at cs.uiuc.edu
Fri Dec 15 18:28:07 PST 2006


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:

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.



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

More information about the llvm-bugs mailing list