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

Reply via email to