https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84672
anlauf at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |FIXED
Status|NEW |RESOLVED
Target Milestone|--- |8.0
--- Comment #2 from anlauf at gcc dot gnu.org ---
(In reply to Dominique d'Humieres from comment #1)
> This seems to have been fixed on trunk (8.0).
Closing then.
