int f() {
    int intval = 1;

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