https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100499
--- Comment #32 from Richard Biener <rguenth at gcc dot gnu.org> --- Testcase from PR101501 /* { dg-do run } */ unsigned char ag = 55; unsigned i; int main() { unsigned char c; unsigned char a = ag; d: c = a-- * 52; if (c) goto d; if (a != 255) __builtin_abort (); return 0; }