Lines Matching refs:State
83 ProgramStateRef checkPointerEscape(ProgramStateRef State,
137 ProgramStateRef State = C.getState();
138 State = State->set<StreamMap>(FileDesc, StreamState::getOpened());
139 C.addTransition(State);
161 ProgramStateRef State = C.getState();
162 const StreamState *SS = State->get<StreamMap>(FileDesc);
169 State = State->set<StreamMap>(FileDesc, StreamState::getClosed());
170 C.addTransition(State);
174 bool IsSymDead, ProgramStateRef State) {
178 ConstraintManager &CMgr = State->getConstraintManager();
179 ConditionTruthVal OpenFailed = CMgr.isNull(State, Sym);
187 ProgramStateRef State = C.getState();
189 StreamMapTy TrackedStreams = State->get<StreamMap>();
196 if (isLeaked(Sym, I->second, IsSymDead, State))
201 State = State->remove<StreamMap>(Sym);
204 ExplodedNode *N = C.addTransition(State);
257 SimpleStreamChecker::checkPointerEscape(ProgramStateRef State,
263 return State;
273 State = State->remove<StreamMap>(Sym);
275 return State;