<div dir="ltr"><div><span style="font-family:arial,sans-serif;font-size:13px"><br></span></div><span style="font-family:arial,sans-serif;font-size:13px">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.  </span><br>
<div><span style="font-family:arial,sans-serif;font-size:13px"><br></span></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Jun 24, 2013 at 11:38 AM, Jeffrey Walton <span dir="ltr"><<a href="mailto:noloader@gmail.com" target="_blank">noloader@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On Mon, Jun 24, 2013 at 2:24 PM, Delesley Hutchins <<a href="mailto:delesley@google.com">delesley@google.com</a>> wrote:<br>

><br>
> <Continued, after accidental send><br>
><br>
> Having the annotations in source files increases the annotation burden,<br>
> which makes it hard to apply the analysis to existing code.<br>
</div>Annotations can also break portability for those who use multiple<br>
compilers. For example, MSVC cannot understand GCC extensions; and GCC<br>
cannot understand Microsoft's SAL annotations<br>
(<a href="http://msdn.microsoft.com/en-us/library/ms235402%28v=vs.80%29.aspx" target="_blank">http://msdn.microsoft.com/en-us/library/ms235402%28v=vs.80%29.aspx</a>).<br>
<br>
Portability is important because it helps us write correct code in<br>
practice. If a program is accepted by Clang, GCC, ICC/ICPC and MSVC,<br>
then its usually correct and not dependent on compiler personalities.<br>
<br>
If annotations are required, please provide an option to read them<br>
from an external file.<br>
<br>
Jeff<br>
</blockquote></div><br><br clear="all"><div><br></div>-- <br>DeLesley Hutchins | Software Engineer | <a href="mailto:delesley@google.com" target="_blank">delesley@google.com</a> | 505-206-0315<br>
</div>