1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
extern void abort (void); static void something(); int main() { something(-1); return 0; } static void something(int i) { if (i != -1) abort (); }