// Both arms are feasible. The detector MUST NOT flag this function.

int live_branch(int x) {
    if (x > 0) {
        return 1;
    } else {
        return -1;
    }
}