1  /* { dg-do run } */
       2  /* { dg-options "-Os" } */
       3  
       4  extern void abort (void);
       5  
       6  unsigned int a;
       7  int b, c;
       8  
       9  void
      10  foo (void)
      11  {
      12    b = 0;
      13    do {
      14      for (a = -13; a == 0; a = (unsigned short)a)
      15        c = 1;
      16      b++;
      17    } while (b == 0);
      18  }
      19  
      20  int
      21  main ()
      22  {
      23    foo ();
      24    if (a != -13)
      25      abort ();
      26    return 0;
      27  }