OpenJ9 JIT throws a spurious ArrayIndexOutOfBoundsException from a redundant (Integer) unboxing cast path when the method is compiled on first invocation (-Xjit:count=0) #24910

// Explicit (Integer) cast unboxing of Integer.MIN_VALUE; loop guards array
// access with (var1 * 2) < len. MIN_VALUE*2 wraps to 0 so the guard must hold.
// An equivalent no-cast control path runs in the same program; both paths must
// agree (MATCH=same).
public class repro {
    static int len = 100;
    static int lastIters;
    static int lastHits;
    static boolean lastExc;

    static void runCast() {
        Integer boxed = Integer.valueOf(Integer.MIN_VALUE);
        int var1 = (Integer) boxed; // redundant cast + auto-unbox
        int iters = -1;
        int hits = 0;
        try {
            for (int i = 0; i < 100000; i++) {
                boolean[] b = new boolean[100];
                if ((var1 * 2) < len) { // MIN_VALUE*2 wraps to 0 -> 0 < 100
                    b[var1 * 2] = true;
                    hits++;
                }
                iters = i;
            }
        } catch (ArrayIndexOutOfBoundsException e) {
            lastExc = true;
        }
        lastIters = iters;
        lastHits = hits;
    }

    static void runNoCast() {
        int var1 = Integer.MIN_VALUE; // direct literal, no cast
        int iters = -1;
        int hits = 0;
        try {
            for (int i = 0; i < 100000; i++) {
                boolean[] b = new boolean[100];
                if ((var1 * 2) < len) {
                    b[var1 * 2] = true;
                    hits++;
                }
                iters = i;
            }
        } catch (ArrayIndexOutOfBoundsException e) {
            lastExc = true;
        }
        lastIters = iters;
        lastHits = hits;
    }

    static void realMain() {
        System.out.println("CHAINL=3");
        lastExc = false;
        runCast();
        int ci = lastIters;
        int ch = lastHits;
        boolean ce = lastExc;
        lastExc = false;
        runNoCast();
        int ni = lastIters;
        int nh = lastHits;
        boolean ne = lastExc;
        System.out.println("CASTITERS=" + ci);
        System.out.println("CASTHITS=" + ch);
        System.out.println("CASTEX=" + (ce ? "java.lang.ArrayIndexOutOfBoundsException" : "none"));
        System.out.println("NOCASTITERS=" + ni);
        System.out.println("NOCASTHITS=" + nh);
        System.out.println("NOCASTEX=" + (ne ? "java.lang.ArrayIndexOutOfBoundsException" : "none"));
        System.out.println("MATCH=" + ((ci == ni && ch == nh && ce == ne) ? "same" : "diff"));
    }

    public static void main(String[] args) {
        try {
            realMain();
        } catch (Throwable t) {
            System.err.println(t.getClass().getName() + ": " + t.getMessage());
            System.exit(1);
        }
    }
}