[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