https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110114
--- Comment #7 from Marek Polacek <mpolacek at gcc dot gnu.org> --- The GCC 13 branch is frozen so I'll put this aside for now.
mpolacek at gcc dot gnu.org via Gcc-bugs Thu, 20 Jul 2023 09:07:11 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110114
--- Comment #7 from Marek Polacek <mpolacek at gcc dot gnu.org> --- The GCC 13 branch is frozen so I'll put this aside for now.