1 2 3 4 5 6 7 8 9 10 11 12 13
f (x) { if (x != 0 || x == 0) return 0; return 1; } main () { if (f (3)) abort (); exit (0); }