[PATCH] D60845: [VerifyDiagnosticConsumer] Document -verify=<prefixes> in doxygen

[Joel E. Denny via Phabricator via cfe-commits]

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
  https://reviews.llvm.org/D60845/new/

https://reviews.llvm.org/D60845