if (((unit instanceof Stmt) && ((Stmt) unit).containsArrayRef()) || ((unit instanceof Inst) && ((Inst) unit).containsArrayRef())) { leaders.add(unit);
if (!s.containsArrayRef()) { return;
if (s.containsArrayRef()) { ArrayRef arrayRef = s.getArrayRef(); handleArrayRef(arrayRef, out);
if (s.containsArrayRef()) { ArrayRef arrayRef = s.getArrayRef(); handleArrayRef(arrayRef, out);
protected Type findArrayType(LocalDefs localDefs, Stmt arrayStmt, int depth, Set<Unit> alreadyVisitedDefs) { ArrayRef aRef = null; if (arrayStmt.containsArrayRef()) { aRef = arrayStmt.getArrayRef();
if (s.containsArrayRef()) { ArrayRef r = s.getArrayRef(); if (r.getBase() == l) {
if (s.containsArrayRef()) { ArrayRef aref = s.getArrayRef(); obj = aref.getBase();
if (stmt.containsArrayRef()) { ArrayRef ar = stmt.getArrayRef(); if (ar.getBase() == v) {
Stmt s = (Stmt) u; if (!s.containsArrayRef() || (!defsOp1.contains(s.getArrayRef().getBase()) && !defsOp2.contains(s.getArrayRef().getBase()))) { replaceWithNull(u); Stmt use = (Stmt) uuse; if (!use.containsArrayRef() || (twoIfLocals[0] != use.getArrayRef().getBase()) && twoIfLocals[1] != use.getArrayRef().getBase()) { replaceWithNull(use);
if (stmt.containsArrayRef() && stmt.getArrayRef().getBase() == op && stmt instanceof DefinitionStmt) { Type baseType = tg.get((Local) stmt.getArrayRef().getBase()); DefinitionStmt defStmt = (DefinitionStmt) stmt;
Stmt s = (Stmt) unitIt.next(); if (s.containsArrayRef()) {
Stmt use = (Stmt) uuse; if (!use.containsArrayRef() || !defLocals.contains(use.getArrayRef().getBase())) { replaceWithNull(use);
Stmt stmt = (Stmt) unitIt.next(); if (stmt.containsArrayRef()) { ArrayRef aref = stmt.getArrayRef();
if (((unit instanceof Stmt) && ((Stmt) unit).containsArrayRef())) { leaders.add(unit);
if (((unit instanceof Stmt) && ((Stmt) unit).containsArrayRef())) { leaders.add(unit);
if (!s.containsArrayRef()) return;
if (!s.containsArrayRef()) return;
for (Unit u : jb.getUnits()) { Stmt st = (Stmt)u; if (st.containsArrayRef()) { mayThrow = true; break; } else if (st.containsFieldRef() && st.getFieldRef() instanceof InstanceFieldRef) {
if (s.containsArrayRef())