https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107345
--- Comment #4 from Geoffrey <geoffreydgr at icloud dot com> --- (In reply to David Malcolm from comment #3) > Fixed on trunk for GCC 13 by the above patch. > > Keeping open for backporting to GCC 12. That is really great! Thanks a lot!
