// The then-arm is unreachable: no integer is both > 0 and < 0.

int arithmetic_dead(int x) {
    if (x > 0 && x < 0) {
        return -1;
    }
    return x;
}