// The then-arm is unreachable because the condition is literally false.

int trivially_dead(int x) {
    if (false) {
        return -1;
    }
    return x;
}