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



_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to