https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111445
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- For the testsuite, not fixed by the fix for PR110243: /* { dg-do run } */ extern void abort (void); short a, b; unsigned char c = 255; unsigned cnt; void __attribute__((noipa)) check (int x) { if (x != 0) abort (); cnt++; } int main() { int d; unsigned char e; d = 0; for (; a >= 0; a--) { int *f = &d; *f = c; } e = 0; for (; (unsigned char)(d - 255) + e <= 1; e++) check (b); if (cnt != 2) abort (); return 0; }