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;
}
