1 2 3 4 5 6 7 8 9 10 11 12
int main() { double x = 1.0; double y = 2.0; if ((y > x--) != 1) abort (); exit (0); }