520 REGISTER_MAP_WITH_PROGRAMSTATE(StreamMap, SymbolRef, StreamState)  in REGISTER_MAP_WITH_PROGRAMSTATE()  argument
532   if (!State->get<StreamMap>(StreamSym))  in getAcquisitionSite()
538     if (!State->get<StreamMap>(StreamSym))  in getAcquisitionSite()
594       StateNotNull->set<StreamMap>(RetSym, StreamState::getOpened(Desc));  in evalFopen()
596       StateNull->set<StreamMap>(RetSym, StreamState::getOpenFailed(Desc));  in evalFopen()
636   if (!State->get<StreamMap>(StreamSym))  in evalFreopen()
652       StateRetNotNull->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalFreopen()
654       StateRetNull->set<StreamMap>(StreamSym, StreamState::getOpenFailed(Desc));  in evalFreopen()
668   const StreamState *SS = State->get<StreamMap>(Sym);  in evalFclose()
681   State = State->set<StreamMap>(Sym, StreamState::getClosed(Desc));  in evalFclose()
717   if (Sym && State->get<StreamMap>(Sym)) {  in preReadWrite()
718     const StreamState *SS = State->get<StreamMap>(Sym);  in preReadWrite()
745   const StreamState *OldSS = State->get<StreamMap>(StreamSym);  in evalFreadFwrite()
772         StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalFreadFwrite()
799   StateFailed = StateFailed->set<StreamMap>(StreamSym, NewSS);  in evalFreadFwrite()
817   const StreamState *OldSS = State->get<StreamMap>(StreamSym);  in evalFgetx()
865       StateNotFailed = StateNotFailed->set<StreamMap>(  in evalFgetx()
885   StateFailed = StateFailed->set<StreamMap>(StreamSym, NewSS);  in evalFgetx()
903   const StreamState *OldSS = State->get<StreamMap>(StreamSym);  in evalFputx()
920         StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalFputx()
938         StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalFputx()
946   StateFailed = StateFailed->set<StreamMap>(StreamSym, NewSS);  in evalFputx()
964   const StreamState *OldSS = State->get<StreamMap>(StreamSym);  in evalFprintf()
983       StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalFprintf()
988   StateFailed = StateFailed->set<StreamMap>(  in evalFprintf()
1006   const StreamState *OldSS = State->get<StreamMap>(StreamSym);  in evalFscanf()
1049   StateFailed = StateFailed->set<StreamMap>(StreamSym, NewSS);  in evalFscanf()
1067   const StreamState *OldSS = State->get<StreamMap>(StreamSym);  in evalUngetc()
1080       StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalUngetc()
1091       StateFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalUngetc()
1107   const StreamState *OldSS = State->get<StreamMap>(StreamSym);  in evalGetdelim()
1144   StateFailed = StateFailed->set<StreamMap>(StreamSym, NewSS);  in evalGetdelim()
1181   if (!State->get<StreamMap>(StreamSym))  in evalFseek()
1202       StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalFseek()
1211   StateFailed = StateFailed->set<StreamMap>(  in evalFseek()
1227   if (!State->get<StreamMap>(Sym))  in evalFgetpos()
1255   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalFsetpos()
1271   StateNotFailed = StateNotFailed->set<StreamMap>(  in evalFsetpos()
1278   StateFailed = StateFailed->set<StreamMap>(  in evalFsetpos()
1292   if (!State->get<StreamMap>(Sym))  in evalFtell()
1330   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalRewind()
1340   State = State->set<StreamMap>(StreamSym,  in evalRewind()
1354   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalClearerr()
1361   State = State->set<StreamMap>(  in evalClearerr()
1379   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalFeofFerror()
1390     C.addTransition(TrueState->set<StreamMap>(  in evalFeofFerror()
1400     C.addTransition(FalseState->set<StreamMap>(  in evalFeofFerror()
1428   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalSetFeofFerror()
1430   State = State->set<StreamMap>(  in evalSetFeofFerror()
1484       StateNotFailed = StateNotFailed->set<StreamMap>(Sym, NewSS);  in evalFflush()
1491       const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalFflush()
1500     const StreamMapTy &Map = StateNotFailed->get<StreamMap>();  in evalFflush()
1547   const StreamState *SS = State->get<StreamMap>(Sym);  in ensureStreamOpened()
1596   const StreamState *SS = State->get<StreamMap>(Sym);  in ensureNoFilePositionIndeterminate()
1613       return State->set<StreamMap>(  in ensureNoFilePositionIndeterminate()
1716   const StreamMapTy &Map = State->get<StreamMap>();  in checkDeadSymbols()
1724     State = State->remove<StreamMap>(Sym);  in checkDeadSymbols()
1751     State = State->remove<StreamMap>(Sym);  in checkPointerEscape()