path: root/compiler/tests/verifier/statement_if.good

() f() {
    int intval = 1;

    if :true {
        int i = intval;
    } else {
        int j = intval;
    }
}