https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117225
Thomas Koenig <tkoenig at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Resolution|--- |FIXED Status|ASSIGNED |RESOLVED --- Comment #1 from Thomas Koenig <tkoenig at gcc dot gnu.org> --- Fixed by https://gcc.gnu.org/git/gitweb.cgi?p=gcc.git;h=4f9b1735ab5eaf93d07d65c81d83cd123a8f3478 (no idea why this does not show up in the PR).