1  /* { dg-do run } */
       2  /* { dg-additional-options "-fno-strict-overflow" } */
       3  
       4  short a; 
       5  
       6  void
       7  foo (void)
       8  {
       9    for (a = 0; a >= 0; a++)
      10      ;
      11  }
      12  
      13  int
      14  main ()
      15  {
      16    foo ();
      17    return 0;
      18  }