[cfe-dev] Proposal for thread safety attributes for Clang

[Chandler Carruth]

To clarify one particular (but hopefully small) point...

On Thu, Jul 14, 2011 at 3:09 PM, Caitlin Sadowski <supertri at google.com>wrote:

> However, our core synchronization libraries have
> been successfully annotated, and it looks like less than 15% of
> annotated code is impacted by these limitations.
>

The limitations should take the form of "we can't provide warnings for
improper locking", not false positives.

My hope is that work on more advanced and thorough checking of these locking
behaviors can be implemented in the static analyzer, based on the core
attributes, but using more expensive analysis techniques and showing
possible errors as well as definite errors.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20110714/fd7892b2/attachment.html>