https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93733
--- Comment #3 from Thomas Henlich <thenlich at gcc dot gnu.org> --- (In reply to Dominique d'Humieres from comment #2) > Does it look good? Agreed, that should fix the bug.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93733
--- Comment #3 from Thomas Henlich <thenlich at gcc dot gnu.org> --- (In reply to Dominique d'Humieres from comment #2) > Does it look good? Agreed, that should fix the bug.