Lines Matching refs:State
79 ProgramStateRef checkPointerEscape(ProgramStateRef State,
131 ProgramStateRef State = C.getState();
132 State = State->set<StreamMap>(FileDesc, StreamState::getOpened());
133 C.addTransition(State);
150 ProgramStateRef State = C.getState();
151 const StreamState *SS = State->get<StreamMap>(FileDesc);
158 State = State->set<StreamMap>(FileDesc, StreamState::getClosed());
159 C.addTransition(State);
163 bool IsSymDead, ProgramStateRef State) {
167 ConstraintManager &CMgr = State->getConstraintManager();
168 ConditionTruthVal OpenFailed = CMgr.isNull(State, Sym);
176 ProgramStateRef State = C.getState();
178 StreamMapTy TrackedStreams = State->get<StreamMap>();
185 if (isLeaked(Sym, I->second, IsSymDead, State))
190 State = State->remove<StreamMap>(Sym);
193 ExplodedNode *N = C.generateNonFatalErrorNode(State);
248 SimpleStreamChecker::checkPointerEscape(ProgramStateRef State,
254 return State;
264 State = State->remove<StreamMap>(Sym);
266 return State;