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

[Duncan Sands]

> 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?

One advantage of a command line option is that when someone reports
a bug and supplies a .ll file, you can easily run it through the
pedantic verifier, and possibly quickly discover possible sources
of problems.  That said, I tend to agree with you that it should be
part of the API.

Ciao,

Duncan.