https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119862
--- Comment #9 from Konstantinos Eleftheriou <konstantinos.eleftheriou at vrull dot eu> --- We have submitted the patch (https://gcc.gnu.org/pipermail/gcc-patches/2025-June/686255.html).
konstantinos.eleftheriou at vrull dot eu via Gcc-bugs Tue, 10 Jun 2025 00:03:43 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119862
--- Comment #9 from Konstantinos Eleftheriou <konstantinos.eleftheriou at vrull dot eu> --- We have submitted the patch (https://gcc.gnu.org/pipermail/gcc-patches/2025-June/686255.html).