1  /* { dg-do run } */
       2  
       3  int a[2] = { 0, 1 };
       4  int x = 129;
       5  
       6  int
       7  main ()
       8  {
       9    volatile int v = 0;
      10    int t = x, i;
      11    for (i = 0; i < 1 + v + v + v + v + v + v + v + v + a[a[0]]; i++)
      12      t = a[(signed char) (130 - x)];
      13    if (t != 1)
      14      __builtin_abort ();
      15    return 0;
      16  }