<div dir="ltr">On Sat, Aug 17, 2013 at 9:45 PM, Dmitri Gribenko <span dir="ltr"><<a href="mailto:gribozavr@gmail.com" target="_blank">gribozavr@gmail.com</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div class=""><div class="h5">On Fri, Aug 16, 2013 at 11:59 PM, Eli Friedman <<a href="mailto:eli.friedman@gmail.com">eli.friedman@gmail.com</a>> wrote:<br>

> On Fri, Aug 16, 2013 at 11:49 PM, Peter N Lewis <<a href="mailto:peter@stairways.com.au">peter@stairways.com.au</a>><br>
> wrote:<br>
>><br>
>> On 17/08/2013, at 5:22 , Eli Friedman <<a href="mailto:eli.friedman@gmail.com">eli.friedman@gmail.com</a>> wrote:<br>
>> > diag::ext_gnu_local_label shouldn't exist; it's not something we need to<br>
>> > diagnose.<br>
>><br>
>> Is it not a GNU extension to have local labels?<br>
><br>
><br>
> Yes.<br>
><br>
>><br>
>> Are you suggesting the I delete the diagnostic for local labels, or not<br>
>> add the explicit flag for that diagnostic?<br>
><br>
><br>
> I'm suggesting you delete the diagnostic altogether; __label__ is in the<br>
> implementation-reserved namespace.<br>
<br>
</div></div>Hi Eli,<br>
<br>
I don't understand the reasoning here -- could you explain in more<br>
detail?  In my opinion, it makes sense to diagnose it.</blockquote><div><br></div><div>The primary point of Extension diagnostics is primarily to produce diagnostics which are required by the standard; they can also be useful so people don't use non-standard features by accident.  Uses of identifiers in the reserved namespace fall into neither of those categories, so we don't want a diagnostic. There isn't any point to a diagnostic to warn about, e.g. every use of __sync_val_compare_and_swap.<br>
<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Also, _Complex<br>
is in the reserved namespace, too -- but you are not objecting to<br>
producing a diagnostic about it.<span class=""><font color="#888888"><br></font></span></blockquote><div> </div><div>_Complex a keyword defined in the C99 standard; we have to produce a diagnostic if you use it in ways not allowed by the standard (like "_Complex int").<br>
<br>-Eli <br></div></div></div></div>