https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124293 --- Comment #2 from Jerry DeLisle <jvdelisle at gcc dot gnu.org> --- I have the simple patch ready to push. Going to wait just a bit in case Andre has other information.