<div dir="ltr">On Fri, Aug 16, 2013 at 11:49 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 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>
</div>Is it not a GNU extension to have local labels?<br></blockquote><div><br></div><div>Yes. <br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Are you suggesting the I delete the diagnostic for local labels, or not add the explicit flag for that diagnostic?<br>
</blockquote><div><br></div><div>I'm suggesting you delete the diagnostic altogether; __label__ is in the implementation-reserved namespace.<br></div><div><br>-Eli<br></div></div></div></div>