[PATCH] D60845: [VerifyDiagnosticConsumer] Document -verify=<prefixes> in doxygen
Joel E. Denny via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Thu Apr 18 14:40:27 PDT 2019
jdenny added a comment.
In D60845#1472291 <https://reviews.llvm.org/D60845#1472291>, @rsmith wrote:
> In D60845#1471741 <https://reviews.llvm.org/D60845#1471741>, @jdenny wrote:
> > In D60845#1471002 <https://reviews.llvm.org/D60845#1471002>, @rsmith wrote:
> > > I've seen a few projects outside of clang use `-verify` mode for their own testing of various things.
> > Interesting. What's an example?
> libc++ and absl both use `-verify` in their test suites.
Thanks. I just took a quick glance at libc++. I see checks that the library manages to induce desired compiler diagnostics in code that incorrectly interfaces with the library. That's a nice capability to expose, especially for people writing C++ libraries.
CHANGES SINCE LAST ACTION
More information about the cfe-commits