compiler/tests/verifier/statement_switch.bad


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


() test() {
    int i;
    bool b;
    
    switch b {
        case 1 { } // ERROR
        case 2 { } // ERROR
    }
    
    switch i {
        case bool:true { } // ERROR
        case :false { } // ERROR
    }
}