https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67054
Jonathan Wakely <redi at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |FIXED Target Milestone|--- |7.2 --- Comment #9 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to Leonid Koppel from comment #8) > Fixed in 7.2. Indeed, thanks.