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

bugzilla-daemon at cs.uiuc.edu bugzilla-daemon at cs.uiuc.edu
Thu May 27 15:01:45 PDT 2004


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:

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.

More information about the llvm-bugs mailing list