https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105880
--- Comment #16 from Jonathan Wakely <redi at gcc dot gnu.org> --- For the record, r12-8589-gade3197134cc9e was needed to fix something in the commits above, and was also backported to gcc-12.
redi at gcc dot gnu.org via Gcc-bugs Wed, 02 Nov 2022 07:15:35 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105880
--- Comment #16 from Jonathan Wakely <redi at gcc dot gnu.org> --- For the record, r12-8589-gade3197134cc9e was needed to fix something in the commits above, and was also backported to gcc-12.