https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86419
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |13.0
Status|NEW |RESOLVED
Resolution|--- |FIXED
--- Comment #15 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Fixed for GCC 13. I will consider backporting this to the branches later, as it
doesn't change anything observable by users except for fixing these bugs.
Thanks for the report and the patch.