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

() f()
{
    int intval;
    
    while :true {
        bool b = intval; // ERROR
    }
    
    while intval { } // ERROR
}