https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80388
Jerry DeLisle <jvdelisle at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jvdelisle at gcc dot gnu.org
--- Comment #6 from Jerry DeLisle <jvdelisle at gcc dot gnu.org> ---
(In reply to Dominique d'Humieres from comment #5)
> This has been fixed by revision r230580 (pr59910). If there is no objection,
> I can back port the fix to the gcc5 branch.
Before doing this we need to understand if there will be any more 5 releases.
Looking here: https://gcc.gnu.org/develop.html#timeline it appears there may be
one or two more, guessing from the prior patterns of releases. So if you have
time, OK.
