Lines Matching defs:StreamMap

186 REGISTER_MAP_WITH_PROGRAMSTATE(StreamMap, SymbolRef, StreamState)
653     SS = State->get<StreamMap>(StreamSym);
675     return State->set<StreamMap>(StreamSym, NewSS);
768     return CallEnterState->get<StreamMap>(Sym) !=
769            CallExitEndState->get<StreamMap>(Sym);
794   if (!State->get<StreamMap>(StreamSym))
800     if (!State->get<StreamMap>(StreamSym))
910       StateNotNull->set<StreamMap>(RetSym, StreamState::getOpened(Desc));
912       StateNull->set<StreamMap>(RetSym, StreamState::getOpenFailed(Desc));
952   if (!State->get<StreamMap>(StreamSym))
968       StateRetNotNull->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));
970       StateRetNull->set<StreamMap>(StreamSym, StreamState::getOpenFailed(Desc));
1010   if (Sym && State->get<StreamMap>(Sym)) {
1011     const StreamState *SS = State->get<StreamMap>(Sym);
1643       StateNotFailed = StateNotFailed->set<StreamMap>(Sym, NewSS);
1650       const StreamState *SS = State->get<StreamMap>(StreamSym);
1659     const StreamMapTy &Map = StateNotFailed->get<StreamMap>();
1764   const StreamState *SS = State->get<StreamMap>(StreamSym);
1766   State = State->set<StreamMap>(
1806   const StreamState *SS = State->get<StreamMap>(Sym);
1855   const StreamState *SS = State->get<StreamMap>(Sym);
1874       return State->set<StreamMap>(
1980   const StreamMapTy &Map = State->get<StreamMap>();
1988     State = State->remove<StreamMap>(Sym);
2015     State = State->remove<StreamMap>(Sym);