<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Mon, Feb 2, 2015 at 1:27 PM, Tim Northover <span dir="ltr"><<a href="mailto:tnorthover@apple.com" target="_blank">tnorthover@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">Hi Sean,<br>
<span class=""><br>
> Tim, could you shed a bit more light on the context of this patch in rdar://problem/16242991 ?<br>
<br>
</span>There's not really any more context: the original bug was asking for some diagnostic, I decided it had to be a warning because legitimate C code can (statically) contain calls like that. It's most likely to come up with macro or template expansion of course.<br></blockquote><div><br></div><div>I'd be in favor or promoting it to an error. We recently started rejecting this code, for example:</div><div><br></div><div><div>void f(int n) {</div><div>  if (__builtin_constant_p(n))</div><div>    __asm__("" : : "I"(n));</div><div>  else</div><div>    __asm__("" : : "m"(n));</div><div>}</div></div></div></div></div>