[LLVMdev] Why always abort in verifyFunction?

[陳韋任 (Wei-Ren Chen)]

On Tue, Jun 12, 2012 at 10:11:01AM +0800, Michael.Kang wrote:
> 
> 
> On Mon, Jun 11, 2012 at 5:44 PM, Joey Gouly <joel.gouly at gmail.com> wrote:
> 
>     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)
> 
> 
> So the argument can not be used as described as the official document? I just
> want to make sure  of that and probably we
> can find another way to deal with broken module.

  I definitely think it's a bug, you should file a bug report. But you basically
cannot do anything with a broken module, except print it out and try to fix the
module. 

Regards,
chenwj

-- 
Wei-Ren Chen (陳韋任)
Computer Systems Lab, Institute of Information Science,
Academia Sinica, Taiwan (R.O.C.)
Tel:886-2-2788-3799 #1667
Homepage: http://people.cs.nctu.edu.tw/~chenwj