1  /* Source: Neil Booth, from PR # 115.  */
       2  
       3  int false()
       4  {
       5    return 0;
       6  }
       7  
       8  extern void abort (void);
       9  
      10  int main (int argc,char *argv[])
      11  {
      12    int count = 0;
      13  
      14    while (false() || count < -123)
      15      ++count;
      16  
      17    if (count)
      18      abort ();
      19  
      20    return 0;
      21  }