[cfe-dev] Proposal for thread safety attributes for Clang
supertri at google.com
Fri Jul 22 15:05:30 PDT 2011
> By "static analysis-based warnings layer" are you referring to Sema's
> CFG-base warnings, or a new checker for the static analyzer?
We are currently implementing the existing GCC checks with Sema's
CFG-based warnings. Future warnings and checks (e.g. which we do not
have a large amount of previous experience using) will start as
checkers in the static analyzer while they are being evaluated (and
only migrate into the compiler proper upon consensus).
> Your first patch is fine to commit, with one addition: please also provide
> documentation for the attributes you're adding (it's fine for it to be based
> on the text in the C/C++ Thread Safety Annotations doc. you link to above),
More information about the cfe-dev