<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Mon, Jan 6, 2014 at 1:11 PM, Alp Toker <span dir="ltr"><<a href="mailto:alp@nuanti.com" target="_blank">alp@nuanti.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Some further late-breaking thoughts below..<div class="im"><br>
<br>
<br>
On 06/01/2014 19:27, Richard Smith wrote:<br>
<br>
</div><div class="im"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
So -Wsystem-headers would allow warnings (but not errors) to be produced in system headers<br>
</blockquote>
<br></div>
^ This mode doesn't sound useful or in line with user expectations: Anyone requesting to see warnings in system headers almost certainly also wants to see errors in headers, even if demoted to warnings, but certainly not to have them silently ignored without any diagnostic message.</blockquote>
<div><br></div><div>Perhaps I didn't explain clearly what I meant. None of my suggestions proposed changing the behavior of warning flags outside system headers. -Wsystem-headers would only affect warnings that are enabled outside system headers.</div>
<div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
, and -Werror=system-headers would also allow errors to be produced in system headers.<br>
</blockquote>
<br></div>
^ If -Werror=system-headers were ever to be supported it should make all warnings in system headers turn into errors, not just enable errors that are usually invisible. I don't think either is a particularly useful mode as long as we have basic -Werror -Wsystem-headers working correctly (change proposed in my previous mail).<div class="HOEnZb">
<div class="h5"><br>
<br>
Alp.<br>
<br>
-- <br>
<a href="http://www.nuanti.com" target="_blank">http://www.nuanti.com</a><br>
the browser experts<br>
<br>
</div></div></blockquote></div><br></div></div>