1/* Source: Neil Booth, from PR # 115.  */
2
3int false()
4{
5  return 0;
6}
7
8extern void abort (void);
9
10int 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}
22