[require]
GLSL >= 1.10

[fragment shader]
uniform bool f;
uniform int t; 
void main()
{
    gl_FragColor = vec4(0, 0, 1, 1);
    int a = 3; 
    int k = t; 
    do {
        if (k < 4) {
            k = k + 1;
            a = a + 1; 
        } else {
            break;
        }

    } while (f);

    if (a == 6)
        gl_FragColor = vec4(0, 1, 0, 1);
    else
        gl_FragColor = vec4(1, 0, 0, 1);
}

[test]
uniform int t 1
uniform int f 1

draw rect -1 -1 2 2
probe all rgba 0.0 1.0 0.0 1.0