http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57900
Gabriel Dos Reis <gdr at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |gdr at gcc dot gnu.org
--- Comment #4 from Gabriel Dos Reis <gdr at gcc dot gnu.org> ---
(In reply to Jonathan Wakely from comment #3)
> See the long thread starting at
> http://gcc.gnu.org/ml/gcc/2013-07/msg00075.html
>
> If it's easy to solve I'm sure a patch would be welcomed :)
In this specific case, the ease of developing a patch is to be dissociated from
a willingness to accept that it is a problem.
