Lines Matching refs:StreamMap
186 REGISTER_MAP_WITH_PROGRAMSTATE(StreamMap, SymbolRef, StreamState)
653 SS = State->get<StreamMap>(StreamSym); in Init()
675 return State->set<StreamMap>(StreamSym, NewSS); in setStreamState()
768 return CallEnterState->get<StreamMap>(Sym) != in hasResourceStateChanged()
769 CallExitEndState->get<StreamMap>(Sym); in hasResourceStateChanged()
794 if (!State->get<StreamMap>(StreamSym)) in getAcquisitionSite()
800 if (!State->get<StreamMap>(StreamSym)) in getAcquisitionSite()
910 StateNotNull->set<StreamMap>(RetSym, StreamState::getOpened(Desc)); in evalFopen()
912 StateNull->set<StreamMap>(RetSym, StreamState::getOpenFailed(Desc)); in evalFopen()
952 if (!State->get<StreamMap>(StreamSym)) in evalFreopen()
968 StateRetNotNull->set<StreamMap>(StreamSym, StreamState::getOpened(Desc)); in evalFreopen()
970 StateRetNull->set<StreamMap>(StreamSym, StreamState::getOpenFailed(Desc)); in evalFreopen()
1010 if (Sym && State->get<StreamMap>(Sym)) { in preRead()
1011 const StreamState *SS = State->get<StreamMap>(Sym); in preRead()
1643 StateNotFailed = StateNotFailed->set<StreamMap>(Sym, NewSS); in evalFflush()
1650 const StreamState *SS = State->get<StreamMap>(StreamSym); in evalFflush()
1659 const StreamMapTy &Map = StateNotFailed->get<StreamMap>(); in evalFflush()
1764 const StreamState *SS = State->get<StreamMap>(StreamSym); in evalSetFeofFerror()
1766 State = State->set<StreamMap>( in evalSetFeofFerror()
1806 const StreamState *SS = State->get<StreamMap>(Sym); in ensureStreamOpened()
1855 const StreamState *SS = State->get<StreamMap>(Sym); in ensureNoFilePositionIndeterminate()
1874 return State->set<StreamMap>( in ensureNoFilePositionIndeterminate()
1980 const StreamMapTy &Map = State->get<StreamMap>(); in checkDeadSymbols()
1988 State = State->remove<StreamMap>(Sym); in checkDeadSymbols()
2015 State = State->remove<StreamMap>(Sym); in checkPointerEscape()