1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
static double one = 1.0; f() { int colinear; colinear = (one == 0.0); if (colinear) abort (); return colinear; } main() { if (f()) abort(); exit (0); }