[LLVMbugs] [Bug 348] Verifier doesn't catch incorrect return type

[bugzilla-daemon at cs.uiuc.edu]

http://llvm.cs.uiuc.edu/bugs/show_bug.cgi?id=348

rspencer at x10sys.com changed:

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



------- Additional Comments From rspencer at x10sys.com  2004-05-27 17:01 -------
Fixed with this patch:
http://mail.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20040524/014788.html

The SymbolTable changes introduced a new CheckFailed function to differentiate
between arguments with Value* and Type*. Unfortunately, the new function didn't
set Broken=true in it. The Verifier was correctly identifying the incorrect
return type and then ignoring the error condition because of this.

 



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