https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110252
--- Comment #9 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Another testcase (from PR 110446): ``` unsigned int a = 1387579096U; void sinkandcheck(unsigned b) __attribute__((noipa)); void sinkandcheck(unsigned b) { if (a != b) __builtin_abort(); } int main() { a = 1 < (~a) ? 1 : (~a); sinkandcheck(1); return 0; } ```