<div dir="ltr">On Sat, Aug 17, 2013 at 8:56 PM, Peter N Lewis <span dir="ltr"><<a href="mailto:peter@stairways.com.au" target="_blank">peter@stairways.com.au</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On 17/08/2013, at 19:13 , Peter N Lewis <<a href="mailto:peter@stairways.com.au">peter@stairways.com.au</a>> wrote:<br>

> On 17/08/2013, at 14:59 , 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>> wrote:<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 diagnose.<br>
>><br>
>> Is it not a GNU extension to have local labels?<br>
>><br>
>> Yes.<br>
>><br>
>> Are you suggesting the I delete the diagnostic for local labels, or not add the explicit flag for that diagnostic?<br>
>><br>
>> I'm suggesting you delete the diagnostic altogether; __label__ is in the implementation-reserved namespace.<br>
><br>
> OK, here it is again, this time with the local label warning removed entirely, so the "use of GNU locally declared label extension" will never be emitted.<br>
><br>
> If you prefer it as two separate patches, you can commit the previous version, and then I'll submit a new patch to remove the  "use of GNU locally declared label extension" warning.<br>
<br>
</div>Thinking about this further, it would be better done as two separate patches in case anyone ever wants to restore the __label__ warning, they can revert the second patch.  So I would suggest committing the previous patch (which I include here for completeness) and then I'll submit a second patch removing the __label__ warning.  Any other comments?<br>

<div class="im"></div></blockquote></div><br></div><div class="gmail_extra">LGTM.</div><div class="gmail_extra"><br></div><div class="gmail_extra">-Eli</div></div>