https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105651
--- Comment #22 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to Jakub Jelinek from comment #19) > I've posted > https://gcc.gnu.org/pipermail/gcc-patches/2022-July/598896.html > patch for this, waiting for Jon's review. N.B. that was committed as r13-2618-g723ef5a937dbab