https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84387
--- Comment #11 from Jerry DeLisle <jvdelisle at gcc dot gnu.org> --- (In reply to Dominique d'Humieres from comment #10) > Is it fixed? I should backport.
jvdelisle at gcc dot gnu.org Sat, 02 Mar 2019 10:22:17 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84387
--- Comment #11 from Jerry DeLisle <jvdelisle at gcc dot gnu.org> --- (In reply to Dominique d'Humieres from comment #10) > Is it fixed? I should backport.