http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60751
Dominique d'Humieres <dominiq at lps dot ens.fr> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |WAITING
Last reconfirmed| |2014-04-05
Ever confirmed|0 |1
--- Comment #4 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
> My thoughts are that a warning message should be issued, rather than
> quietly accepting the extension by default.
It seems quite trivial to fix, but does it really worth the work?
