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 _______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
