Lines Matching refs:getState
196 ProgramStateRef getState() const { return state; } in getState() function in __anon8672b8ee0111::StopTrackingCallback
217 ProgramStateRef state = C.getState(); in checkPostStmt()
241 state = state->scanReachableSymbols<StopTrackingCallback>(Regions).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()
403 if (const RefVal *T = getRefBinding(C.getState(), Sym)) in checkPostCall()
495 ProgramStateRef state = C.getState(); in processSummaryOfInlined()
623 ProgramStateRef state = C.getState(); in checkSummary()
911 ProgramStateRef state = C.getState(); in evalCall()
951 ProgramStateRef NullOutputState = C.getState(); in evalCall()
990 ProgramStateRef state = C.getState(); in processReturn()
1155 ProgramStateRef state = C.getState(); in checkBind()
1179 state = state->scanReachableSymbols<StopTrackingCallback>(val).getState(); in checkBind()
1392 ProgramStateRef state = Ctx.getState(); in checkBeginFunction()
1424 ProgramStateRef state = Pred->getState(); in checkEndFunction()
1461 ProgramStateRef state = C.getState(); in checkDeadSymbols()