compiler/tests/verifier/statement_if.bad


1
2
3
4
5
6
7
8
9
10
11
12


() f() {
    int intval;

    if :true {
        bool i = intval; // ERROR
    } else {
        bool j = intval; // ERROR
    }
    
    if intval { } // ERROR
}