blob: 523057593a3f41167bbb2e3559ddce84b26cbc0d [file] [log] [blame]
/* Source: Neil Booth, from PR # 115. */
int false()
{
return 0;
}
extern void abort (void);
int main (int argc,char *argv[])
{
int count = 0;
while (false() || count < -123)
++count;
if (count)
abort ();
return 0;
}