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

Delesley Hutchins delesley at google.com
Mon Jun 24 11:49:51 PDT 2013


In practice, the annotations are always wrapped in macros, for exactly this
reason.  However, I agree that having support for separate files would be a
useful feature.



On Mon, Jun 24, 2013 at 11:38 AM, Jeffrey Walton <noloader at gmail.com> wrote:

> 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
>



-- 
DeLesley Hutchins | Software Engineer | delesley at google.com | 505-206-0315
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20130624/f110910d/attachment.html>


More information about the cfe-dev mailing list