28 const RefVal *getRefBinding(ProgramStateRef State, SymbolRef Sym) {  in getRefBinding()
32 ProgramStateRef setRefBinding(ProgramStateRef State, SymbolRef Sym,  in setRefBinding()
38 ProgramStateRef removeRefBinding(ProgramStateRef State, SymbolRef Sym) {  in removeRefBinding()
193   ProgramStateRef state;
195   StopTrackingCallback(ProgramStateRef st) : state(std::move(st)) {}  in StopTrackingCallback()
196   ProgramStateRef getState() const { return state; }  in getState()
217   ProgramStateRef state = C.getState();  in checkPostStmt()
265   ProgramStateRef state = C.getState();  in checkPostStmt()
286   ProgramStateRef state = C.getState();  in processObjCLiterals()
329   ProgramStateRef State = Pred->getState();  in checkPostStmt()
346   ProgramStateRef State = C.getState();  in checkPostStmt()
495   ProgramStateRef state = C.getState();  in processSummaryOfInlined()
540 static SmallVector<ProgramStateRef, 2>
541 updateOutParameters(ProgramStateRef State, const RetainSummary &Summ,  in updateOutParameters()
556   ProgramStateRef AssumeNonZeroReturn = State;  in updateOutParameters()
557   ProgramStateRef AssumeZeroReturn = State;  in updateOutParameters()
583     auto makeNotOwnedParameter = [&](ProgramStateRef St) {  in updateOutParameters()
587     auto makeOwnedParameter = [&](ProgramStateRef St) {  in updateOutParameters()
623   ProgramStateRef state = C.getState();  in checkSummary()
715   SmallVector<ProgramStateRef, 2> Out =  in checkSummary()
718   for (ProgramStateRef St : Out) {  in checkSummary()
727 ProgramStateRef RetainCountChecker::updateSymbol(ProgramStateRef state,  in updateSymbol()
858 void RetainCountChecker::processNonLeakError(ProgramStateRef St,  in processNonLeakError()
911   ProgramStateRef state = C.getState();  in evalCall()
951       ProgramStateRef NullOutputState = C.getState();  in evalCall()
990   ProgramStateRef state = C.getState();  in processReturn()
1077                                                   ProgramStateRef state) const {  in checkReturnWithRetEffect()
1155   ProgramStateRef state = C.getState();  in checkBind()
1183 ProgramStateRef RetainCountChecker::evalAssume(ProgramStateRef state,  in evalAssume()
1216 ProgramStateRef
1217 RetainCountChecker::checkRegionChanges(ProgramStateRef state,  in checkRegionChanges()
1243 ProgramStateRef
1244 RetainCountChecker::handleAutoreleaseCounts(ProgramStateRef state,  in handleAutoreleaseCounts()
1324 ProgramStateRef
1325 RetainCountChecker::handleSymbolDeath(ProgramStateRef state,  in handleSymbolDeath()
1353 RetainCountChecker::processLeaks(ProgramStateRef state,  in processLeaks()
1392   ProgramStateRef state = Ctx.getState();  in checkBeginFunction()
1424   ProgramStateRef state = Pred->getState();  in checkEndFunction()
1461   ProgramStateRef state = C.getState();  in checkDeadSymbols()
1506 void RetainCountChecker::printState(raw_ostream &Out, ProgramStateRef State,  in printState()