https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94331
--- Comment #10 from José Rui Faustino de Sousa <jrfsousa at gcc dot gnu.org> --- Hi Dominique, Thank you vary much for taking the time to test the patch. If I understand you correctly the problem is on the test not on the patch itself, right? I have fixed the glaring mistake in PR94331.c, could you be so gentle as to test it to verify that it does indeed solve the problems you found? Thank you very much. Best regards, José Rui