https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114247
--- Comment #7 from Martin Jambor <jamborm at gcc dot gnu.org> --- Thanks, I will bootstrap and test the patch on x86_64 and submit it for review then. Can I ask you, can you please modify the testcase so that it does not use printf but simply calls __builtin_abort in the miscompiled case and just returns zero from main if it is OK? That way we could include it in our test suite. Thanks a lot.