https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93338
Paul Thomas <pault at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Resolution|--- |FIXED Status|NEW |RESOLVED --- Comment #14 from Paul Thomas <pault at gcc dot gnu.org> --- Since this is "auto-fixed" back to 12-branch, I am closing this PR. Thanks for the report. Paul