1  /* { dg-do run } */
       2  
       3  extern void abort (void);
       4  
       5  short b = 0;
       6  
       7  int
       8  main ()
       9  {
      10    int c = 0;
      11  l1:
      12    b++;
      13    c |= b;
      14    if (b)
      15      goto l1;
      16    if (c != -1)
      17      abort ();
      18    return 0;
      19  }