I think this looks fine, having chased down the default arguments. But just to make sure: we both think the verifier will default to dbgs() for its output after this change (mainly rather than /dev/null)? If so, go for it (and thanks for working on the update). Tim. http://reviews.llvm.org/D6011