[cfe-dev] [RFC] Adding Thread Role Analysis

[Jeffrey Walton]

On Mon, Jun 24, 2013 at 2:24 PM, Delesley Hutchins <delesley at google.com> wrote:
>
> <Continued, after accidental send>
>
> Having the annotations in source files increases the annotation burden,
> which makes it hard to apply the analysis to existing code.
Annotations can also break portability for those who use multiple
compilers. For example, MSVC cannot understand GCC extensions; and GCC
cannot understand Microsoft's SAL annotations
(http://msdn.microsoft.com/en-us/library/ms235402%28v=vs.80%29.aspx).

Portability is important because it helps us write correct code in
practice. If a program is accepted by Clang, GCC, ICC/ICPC and MSVC,
then its usually correct and not dependent on compiler personalities.

If annotations are required, please provide an option to read them
from an external file.

Jeff