https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127693
--- Comment #31 from Thiago Macieira <thiago at kde dot org> --- I asked the AI to try to mutate the original tests to see if any further issues showed up. It did find an ICE, which I reported at Bug 127781. Other than that, there are no new miscompilations found combining __builtin_constant_p() and __builtin_assume(). It found 400 miscompilations using GCC 16 (probably all the same problems we've solved) and all of them worked just fine in GCC 17. Are the fixes going to be backported?
