1  extern void abort (void);
       2  
       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  }