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