#include <stdio.h>

void test_div_zero() {
    double x = 0.0;
    x += 1.0;        // x becomes 1.0
    x -= 1.0;        // x becomes 0.0 again
    x /= x;          // should fail
}

int main() {
    test_div_zero();
    return 0;
}
