1  /* { dg-do run } */
       2  
       3  signed char a, b;
       4  int main()
       5  {
       6    for (b = -7; b; b += 3)
       7      if (a)
       8        __builtin_abort();
       9    return 0;
      10  }