[PATCH] explicit GNU flags

[Dmitri Gribenko]

On Fri, Aug 16, 2013 at 11:59 PM, Eli Friedman <eli.friedman at gmail.com> wrote:
> On Fri, Aug 16, 2013 at 11:49 PM, Peter N Lewis <peter at stairways.com.au>
> wrote:
>>
>> On 17/08/2013, at 5:22 , Eli Friedman <eli.friedman at gmail.com> wrote:
>> > diag::ext_gnu_local_label shouldn't exist; it's not something we need to
>> > diagnose.
>>
>> Is it not a GNU extension to have local labels?
>
>
> Yes.
>
>>
>> Are you suggesting the I delete the diagnostic for local labels, or not
>> add the explicit flag for that diagnostic?
>
>
> I'm suggesting you delete the diagnostic altogether; __label__ is in the
> implementation-reserved namespace.

Hi Eli,

I don't understand the reasoning here -- could you explain in more
detail?  In my opinion, it makes sense to diagnose it.  Also, _Complex
is in the reserved namespace, too -- but you are not objecting to
producing a diagnostic about it.

Dmitri

-- 
main(i,j){for(i=2;;i++){for(j=2;j<i;j++){if(!(i%j)){j=0;break;}}if
(j){printf("%d\n",i);}}} /*Dmitri Gribenko <gribozavr at gmail.com>*/