[PATCH] D21005: Add a -verify-after-all option

[Sanjoy Das via llvm-commits]

sanjoy added a comment.

In http://reviews.llvm.org/D21005#449402, @davide wrote:

> I just used this for function passes so I never noticed the problem, but yes, I agree it can happen.
>  Can you please elaborate on how you plan to use `createPrinterPass` ?


I don't plan to use `createPrinterPass`, but add a virtual function similar to it as `PassManager::createVerifierPass` that creates and returns a verifier pass of the right type (i.e. `ModulePass`, `FunctionPass` or `LoopPass`).


http://reviews.llvm.org/D21005