https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64927
Dominique d'Humieres <dominiq at lps dot ens.fr> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |WAITING
Last reconfirmed| |2015-02-11
Ever confirmed|0 |1
--- Comment #4 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
This PR has been fixed between r197969 (2013-04-15, warning) and r198189
(2013-04-23, no warning). I did not find any obvious commit for the change. I
share with Steve the feeling that this PR can be closed as FIXED.
