ArrayRef op = s.getArrayRef();
ArrayRef aref = ((Stmt) u).getArrayRef();
ArrayRef arrayRef = s.getArrayRef(); handleArrayRef(arrayRef, out);
ArrayRef arrayRef = s.getArrayRef(); handleArrayRef(arrayRef, out);
|| (!defsOp1.contains(s.getArrayRef().getBase()) && !defsOp2.contains(s.getArrayRef().getBase()))) { replaceWithNull(u); || (twoIfLocals[0] != use.getArrayRef().getBase()) && twoIfLocals[1] != use.getArrayRef().getBase()) { replaceWithNull(use);
protected Type findArrayType(LocalDefs localDefs, Stmt arrayStmt, int depth, Set<Unit> alreadyVisitedDefs) { ArrayRef aRef = null; if (arrayStmt.containsArrayRef()) { aRef = arrayStmt.getArrayRef();
if (stmt.containsArrayRef() && stmt.getArrayRef().getBase() == op && stmt instanceof DefinitionStmt) { Type baseType = tg.get((Local) stmt.getArrayRef().getBase()); DefinitionStmt defStmt = (DefinitionStmt) stmt; if (baseType instanceof RefType && defStmt.getLeftOp() instanceof Local) {
ArrayRef r = s.getArrayRef(); if (r.getBase() == l) { replace = true;
ArrayRef aref = s.getArrayRef(); obj = aref.getBase(); } else {
ArrayRef ar = stmt.getArrayRef(); if (ar.getBase() == v) { v = ar;
Value base = s.getArrayRef().getBase(); if (isAlwaysNullBefore(s, (Local) base, defs)) { createThrowStmt(body, s, lc);
Stmt use = (Stmt) uuse; if (!use.containsArrayRef() || !defLocals.contains(use.getArrayRef().getBase())) { replaceWithNull(use);
ArrayRef aref = stmt.getArrayRef();
return; ArrayRef op = s.getArrayRef();
return; ArrayRef op = s.getArrayRef();
ArrayRef aref = s.getArrayRef(); obj = aref.getBase();
ArrayRef aref = s.getArrayRef(); obj = aref.getBase();
ArrayRef aref = stmt.getArrayRef();
ArrayRef aref = stmt.getArrayRef();