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 <[email protected]> wrote: > On Mon, Jun 24, 2013 at 2:24 PM, Delesley Hutchins <[email protected]> > 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 | [email protected] | 505-206-0315
_______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
