https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122078
--- Comment #9 from Federico Terraneo <fede.tft at miosix dot org> --- I've been pinging this four line patch for about two months but it seems I'm stuck with no review. Any suggestions? https://gcc.gnu.org/pipermail/gcc-patches/2025-November/699826.html
