https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85487
--- Comment #15 from Baruch Burstein <bmburstein at gmail dot com> --- (In reply to Jonathan Wakely from comment #13) > (In reply to rsand...@gcc.gnu.org from comment #12) > > > I think the patch would need to wait for GCC 13 now though. > > Indeed. Now that GCC 13 is the main development trunk, can this patch be merged? If I understood the comments in this thread correctly, the patch already exists and was just waiting for GCC 12 to be branched.