[LLVMbugs] [Bug 17137] New: verifyFunction exits process when a BB has no terminator, instead of taking requested action

[bugzilla-daemon at llvm.org]

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: unassignedbugs at nondot.org
          Reporter: b.r.longbons at gmail.com
                CC: llvmbugs at cs.uiuc.edu
    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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20130906/7d550b8c/attachment.html>