https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113363
Paul Thomas <pault at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Resolution|--- |FIXED Status|REOPENED |RESOLVED --- Comment #14 from Paul Thomas <pault at gcc dot gnu.org> --- I will open a new PR a bit later for the wrinkle uncovered in review (comment 10). In the mean time, this PR is fixed on 13-, 14- and 15-branches. Closing. Thanks for the report. Paul