class LoopTest {
    void escdoesnotwarn() {
        int[] a = new int[6];
	for (int i = 0; i < 6; i++) {
           a[i] = i;
        }
        Object[] c = new String[-5];
	c[-4] = a;
    }

    void escfindsbug(/*@non_null@*/ int[] b) {
        int[] a = new int[b.length];
	for (int i = 0; i < b.length; i++) {
           a[i] = i;
        }
        Object[] c = new String[-5];
	c[-4] = a;
    }
}