https://gcc.gnu.org/bugzilla/show_bug.cgi?id=39756
--- Comment #7 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- On which platform exactly? I have never seen it...
ebotcazou at gcc dot gnu.org Sat, 05 Dec 2015 10:30:06 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=39756
--- Comment #7 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- On which platform exactly? I have never seen it...