return; PointerKey p = getPointerKeyForArrayContents(I); if (p == null) { return;
assert false : "null type for " + C + ' ' + I.getConcreteType(); PointerKey p = getPointerKeyForArrayContents(I); if (DEBUG_ARRAY_STORE) { System.err.println("ArrayStore add filtered-assign: " + p + ' ' + pVal);
assert false : "null type for " + C + ' ' + I.getConcreteType(); PointerKey p = getPointerKeyForArrayContents(I); if (DEBUG_ARRAY_STORE) { System.err.println("ArrayStore add filtered-assign: " + p + ' ' + pVal);
return; PointerKey p = getPointerKeyForArrayContents(I); if (p == null) { return;
assert false : "null type for " + C + ' ' + I.getConcreteType(); PointerKey p = getPointerKeyForArrayContents(I); if (contents.isInterface()) { if (getClassHierarchy().implementsInterface(instance.getConcreteType(), contents)) {
assert false : "null type for " + C + ' ' + I.getConcreteType(); PointerKey p = getPointerKeyForArrayContents(I); if (contents.isInterface()) { if (getClassHierarchy().implementsInterface(instance.getConcreteType(), contents)) {