https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88357
kargl at gcc dot gnu.org changed: What |Removed |Added ---------------------------------------------------------------------------- Priority|P3 |P4 Status|UNCONFIRMED |NEW Last reconfirmed| |2018-12-05 Ever confirmed|0 |1 --- Comment #7 from kargl at gcc dot gnu.org --- (In reply to G. Steinmetz from comment #6) > Sure, this is now pr88379. Thanks.