https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83580
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Testcase after formatting improvements:
int a[2] = { 0, 1 };
int x = 129;
int
main ()
{
volatile int v = 0;
int t = x, i;
for (i = 0; i < 1 + v + v + v + v + v + v + v + v + a[a[0]]; i++)
t = a[(signed char) (130 - x)];
if (t != 1)
__builtin_abort ();
return 0;
}
