Clear _curDefinedOnAllPaths after processing an outermost loop in GVP

[jdmpapin]

Here is an example in Java where a stale _curDefinedOnAllPaths would have prevented a transformation outside of a loop. The last use of answer (after the loop) can be folded to 42, but previously GVP would fail to do so.

    if (x == null) {
        throw new NullPointerException();
    }

    int answer = 42;
    int i;
    for (i = 0; i < x.length; i++) {
        x[i] = 0;
        if (x == null) {
            answer++; // dead path
        }
    }

    ... answer ...

[vijaysun-omr]

Jenkins build all

[vijaysun-omr]

Jenkins build riscv

[vijaysun-omr]

Jenkins build riscv,xlinux

[vijaysun-omr]

Jenkins build aix

[vijaysun-omr]

Merging this since neither failure looks related to me