Class ArrayInter2

src/test/resources/dataflow/constprop/alias/ArrayInter2.java:1–16

class ArrayInter2 {

    public static void main(String[] args) {
        int[] a = new int[1];
        set(a, 0, 777);
        int x = get(a, 0);
    }

    static void set(int[] arr, int i, int v) {
        arr[i] = v;
    }

    static int get(int[] arr, int i) {
        return arr[i];
    }
}