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