Inconsistent program state with loops and strict equality

[inverno]

The following code produces an inconsistent program state that results in the if condition resulting in neither a true branch nor a false branch (see the comment in the code)

function main(size) {
    var j;
    while (cond) {
        for (j = 0; j < size; j++) {
            if (target) {
                break;
            }
        }

        if (j === size) { // PS: size=0, j=zero, j < size
            foo();
        }
    }
}

[saberduck]

not relevant anymore