https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115739
--- Comment #4 from Kewen Lin <linkw at gcc dot gnu.org> --- (In reply to Eric Botcazou from comment #3) > The fix is OK for mainline, thanks! Thanks Eric! btw, a formal patch was sent at https://gcc.gnu.org/pipermail/gcc-patches/2024-July/656136.html