// External call inside the condition forces a bail. Even though the literal
// `if (false)` further down looks dead, the function is skipped entirely once
// the bail is raised. Documents the conservative-on-unknown contract.

extern int opaque();

int bailout(int x) {
    if (opaque() == 0) {
        return -1;
    }
    return x;
}