Lines Matching refs:ProgramStateRef
55 ProgramStateRef checkPointerEscape(ProgramStateRef State,
60 void printState(raw_ostream &OS, ProgramStateRef State,
70 ProgramStateRef State = C.getState();
117 ProgramStateRef State = C.getState();
140 ProgramStateRef StInBound = State->assumeInBound(Idx, *Size, true, T);
141 ProgramStateRef StOutBound = State->assumeInBound(Idx, *Size, false, T);
158 ProgramStateRef
159 ObjCContainersChecker::checkPointerEscape(ProgramStateRef State,
174 void ObjCContainersChecker::printState(raw_ostream &OS, ProgramStateRef State,