Lines Matching refs:State
55 ProgramStateRef checkPointerEscape(ProgramStateRef State,
60 void printState(raw_ostream &OS, ProgramStateRef State,
70 ProgramStateRef State = C.getState();
83 State->set<ArraySizeMap>(ArraySym, SizeV.castAs<DefinedSVal>()));
117 ProgramStateRef State = C.getState();
126 const DefinedSVal *Size = State->get<ArraySizeMap>(ArraySym);
140 ProgramStateRef StInBound = State->assumeInBound(Idx, *Size, true, T);
141 ProgramStateRef StOutBound = State->assumeInBound(Idx, *Size, false, T);
159 ObjCContainersChecker::checkPointerEscape(ProgramStateRef State,
169 State = State->remove<ArraySizeMap>(Sym);
171 return State;
174 void ObjCContainersChecker::printState(raw_ostream &OS, ProgramStateRef State,
176 ArraySizeMapTy Map = State->get<ArraySizeMap>();