1 extern void abort (void);
2 
main(void)3 int main (void)
4 {
5   int n;
6   long double x;
7 
8   x = 1/0.0;
9 
10   n = (x == 1/0.0);
11 
12   if (n == 1)
13     return 0;
14   else
15     abort ();
16 }
17