Lines Matching refs:State
56 ProgramStateRef checkPointerEscape(ProgramStateRef State,
63 // ProgramState trait - a map from array symbol to its state.
68 ProgramStateRef State = C.getState();
69 SVal SizeV = State->getSVal(Size, C.getLocationContext());
75 SVal ArrayRef = State->getSVal(Array, C.getLocationContext());
81 State->set<ArraySizeMap>(ArraySym, SizeV.castAs<DefinedSVal>()));
90 // Add array size information to the state.
115 ProgramStateRef State = C.getState();
124 const DefinedSVal *Size = State->get<ArraySizeMap>(ArraySym);
131 SVal IdxVal = State->getSVal(IdxExpr, C.getLocationContext());
138 ProgramStateRef StInBound = State->assumeInBound(Idx, *Size, true, T);
139 ProgramStateRef StOutBound = State->assumeInBound(Idx, *Size, false, T);
154 ObjCContainersChecker::checkPointerEscape(ProgramStateRef State,
164 State = State->remove<ArraySizeMap>(Sym);
166 return State;
