1  /* { dg-do run } */
       2  
       3  int a = 1, b;
       4  
       5  void
       6  foo (void)
       7  {
       8    signed char c = 0;
       9    for (; a; a--)
      10      for (; c >= 0; c++);
      11    if (!c)
      12      b = 1;
      13  }
      14  
      15  int
      16  main ()
      17  {
      18    foo ();
      19    if (b != 0)
      20      __builtin_abort ();
      21    return 0;
      22  }