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