Lines Matching refs:State
63 bool isSymbolTracked(ProgramStateRef State, SymbolRef Sym) {
64 RawPtrMapTy Map = State->get<RawPtrMap>();
95 void markPtrSymbolsReleased(const CallEvent &Call, ProgramStateRef State,
102 void checkFunctionArguments(const CallEvent &Call, ProgramStateRef State,
134 ProgramStateRef State,
137 if (const PtrSet *PS = State->get<RawPtrMap>(MR)) {
142 State = allocation_state::markReleased(State, Symbol, Origin);
144 State = State->remove<RawPtrMap>(MR);
145 C.addTransition(State);
151 ProgramStateRef State,
175 markPtrSymbolsReleased(Call, State, ArgRegion, C);
196 ProgramStateRef State = C.getState();
211 PtrSet::Factory &F = State->getStateManager().get_context<PtrSet>();
212 const PtrSet *SetPtr = State->get<RawPtrMap>(ObjRegion);
217 State = State->set<RawPtrMap>(ObjRegion, Set);
218 C.addTransition(State);
225 markPtrSymbolsReleased(Call, State, ObjRegion, C);
231 checkFunctionArguments(Call, State, C);
236 ProgramStateRef State = C.getState();
237 PtrSet::Factory &F = State->getStateManager().get_context<PtrSet>();
238 RawPtrMapTy RPM = State->get<RawPtrMap>();
243 State = State->remove<RawPtrMap>(Entry.first);
245 if (const PtrSet *OldSet = State->get<RawPtrMap>(Entry.first)) {
251 State = CleanedUpSet.isEmpty()
252 ? State->remove<RawPtrMap>(Entry.first)
253 : State->set<RawPtrMap>(Entry.first, CleanedUpSet);
256 C.addTransition(State);
267 const MemRegion *getContainerObjRegion(ProgramStateRef State, SymbolRef Sym) {
268 RawPtrMapTy Map = State->get<RawPtrMap>();