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

int f() {
    int intval = 1;

    while :true {
        int i = intval;
    }
    
    while intval == 10 {
        int i = intval;
    }
}