https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103459
pietro <pietro at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |pietro at gcc dot gnu.org --- Comment #4 from pietro <pietro at gcc dot gnu.org> --- Patch to fix some warnings: https://gcc.gnu.org/pipermail/gcc-patches/2025-May/684459.html