https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110900
Jonathan Wakely <redi at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Target Milestone|12.5 |12.4 Resolution|--- |FIXED Status|NEW |RESOLVED --- Comment #10 from Jonathan Wakely <redi at gcc dot gnu.org> --- It was backported as r13-7969-gf9dd32562f537a (for 13.3) and r12-10231-gbfe05fbb30594b (for 12.4) so this is fixed now.