[LLVMdev] Why always abort in verifyFunction?
Joey Gouly
joel.gouly at gmail.com
Mon Jun 11 02:44:36 PDT 2012
Hi Xiu,
The Verifier pass runs a PreVerifier pass, which does not honour the action
argument,
and will always abort on a broken module, (Line 106,
lib/VMCore/Verifier.cpp)
Perhaps you should file a bug against this, to allow you to not abort if
you so wish.
Joey
On 11 June 2012 09:41, Guowei Xu <myesis at gmail.com> wrote:
> Hello everyone:
>
> I have a little question about the second argument *action* of
> verifyFunction.
>
> In docs:
>
> *Enumerator: * *AbortProcessAction*
>
> verifyModule will print to stderr and abort()
> *PrintMessageAction*
>
> verifyModule will print to stderr and return true
> *ReturnStatusAction*
>
> verifyModule will just return true
>
> But it still abort when I pass
> PrintMessageAction/ReturnStatusAction to function.
>
> Log:
> Basic Block in function 'jitmain' does not have terminator!
> label %load_store
> LLVM ERROR: Broken module, no Basic Block terminator!
>
>
> Is there something wrong?
>
>
> Best regards,
> -myesis
>
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20120611/1b051e18/attachment.html>
More information about the llvm-dev
mailing list