[llvm-commits] [llvm] r43424 - /llvm/trunk/lib/VMCore/Verifier.cpp

[Chris Lattner]

On Oct 28, 2007, at 3:50 PM, Anton Korobeynikov wrote:

> Author: asl
> Date: Sun Oct 28 17:50:32 2007
> New Revision: 43424
>
> URL: http://llvm.org/viewvc/llvm-project?rev=43424&view=rev
> Log:
> Add 'pedantic' mode to verifier rejecting syntactically valid, but  
> 'bad' due to other reasons code

I renamed the option, but independently of that, I don't think this  
is a good idea.  The goal for this option is to support front-end who  
want to use the verifier to catch things are are likely to be  
malformed IR that they are constructing.  As such, this should be  
added to the *API* for verifier, not as a command line option.  What  
do you think?

-Chris