https://gcc.gnu.org/bugzilla/show_bug.cgi?id=28901
Tom Tromey <tromey at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |REOPENED
Last reconfirmed| |2014-08-08
Resolution|INVALID |---
Ever confirmed|0 |1
--- Comment #6 from Tom Tromey <tromey at gcc dot gnu.org> ---
I finally decided I would just reopen it.
If this is in error someone can easily close it again.
However please take note of the arguments in favor of
this being a bug in comment #5. Thanks.