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