http://llvm.org/bugs/show_bug.cgi?id=17137
Bug ID: 17137
Summary: verifyFunction exits process when a BB has no
terminator, instead of taking requested action
Product: libraries
Version: trunk
Hardware: PC
OS: Linux
Status: NEW
Severity: normal
Priority: P
Component: Core LLVM classes
Assignee: [email protected]
Reporter: [email protected]
CC: [email protected]
Classification: Unclassified
If a BasicBlock does not have a terminator, the caller's request for abort,
printmessage, or function return value will be ignore, and the process will
always exit with status 1.
The problem is in Verifier.cpp, in PreVerifier::runOnFunction:
if (Broken)
report_fatal_error("Broken module, no Basic Block terminator!");
the actual Verifier pass has abortIfBroken, but PreVerifier does not.
--
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
LLVMbugs mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/llvmbugs
