1  extern void abort(void);
       2  
       3  int a = -1; 
       4  
       5  int main ()
       6  {
       7    int b = a == 0 ? 0 : -a;
       8    if (b < 1)
       9      abort ();
      10    return 0;
      11  }