Lines Matching refs:getState
134 ProgramStateRef getState() const { return state; } in getState() function in __anon4698485f0111::StopTrackingCallback
155 ProgramStateRef state = C.getState(); in checkPostStmt()
177 state = state->scanReachableSymbols<StopTrackingCallback>(Regions).getState(); in checkPostStmt()
209 ProgramStateRef state = C.getState(); in checkPostStmt()
230 ProgramStateRef state = C.getState(); in processObjCLiterals()
273 ProgramStateRef State = Pred->getState(); in checkPostStmt()
290 ProgramStateRef State = C.getState(); in checkPostStmt()
372 if (const RefVal *T = getRefBinding(C.getState(), Sym)) in checkPostCall()
450 ProgramStateRef state = C.getState(); in processSummaryOfInlined()
607 ProgramStateRef state = C.getState(); in checkSummary()
890 ProgramStateRef state = C.getState(); in evalCall()
943 ProgramStateRef NullOutputState = C.getState(); in evalCall()
982 ProgramStateRef state = C.getState(); in processReturn()
1139 ProgramStateRef state = C.getState(); in checkBind()
1145 state = state->scanReachableSymbols<StopTrackingCallback>(val).getState(); in checkBind()
1343 ProgramStateRef state = Ctx.getState(); in checkBeginFunction()
1376 ProgramStateRef state = Pred->getState(); in checkEndFunction()
1413 ProgramStateRef state = C.getState(); in checkDeadSymbols()