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