407   ProgramStateRef ensureStreamNonNull(SVal StreamVal, const Expr *StreamE,
414   ProgramStateRef ensureStreamOpened(SVal StreamVal, CheckerContext &C,
424   ensureNoFilePositionIndeterminate(SVal StreamVal, CheckerContext &C,
624   std::optional<DefinedSVal> StreamVal =  in evalFreopen()  local
626   if (!StreamVal)  in evalFreopen()
629   SymbolRef StreamSym = StreamVal->getAsSymbol();  in evalFreopen()
644       State->BindExpr(CE, C.getLocationContext(), *StreamVal);  in evalFreopen()
699   SVal StreamVal = getStreamArg(Desc, Call);  in preReadWrite()  local
700   State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C,  in preReadWrite()
704   State = ensureStreamOpened(StreamVal, C, State);  in preReadWrite()
707   State = ensureNoFilePositionIndeterminate(StreamVal, C, State);  in preReadWrite()
716   SymbolRef Sym = StreamVal.getAsSymbol();  in preReadWrite()
1154   SVal StreamVal = getStreamArg(Desc, Call);  in preFseek()  local
1155   State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C,  in preFseek()
1159   State = ensureStreamOpened(StreamVal, C, State);  in preFseek()
1410   SVal StreamVal = getStreamArg(Desc, Call);  in preDefault()  local
1411   State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C,  in preDefault()
1415   State = ensureStreamOpened(StreamVal, C, State);  in preDefault()
1438   SVal StreamVal = getStreamArg(Desc, Call);  in preFflush()  local
1439   std::optional<DefinedSVal> Stream = StreamVal.getAs<DefinedSVal>();  in preFflush()
1447     ensureStreamOpened(StreamVal, C, StateNotNull);  in preFflush()
1453   SVal StreamVal = getStreamArg(Desc, Call);  in evalFflush()  local
1454   std::optional<DefinedSVal> Stream = StreamVal.getAs<DefinedSVal>();  in evalFflush()
1490     if (SymbolRef StreamSym = StreamVal.getAsSymbol()) {  in evalFflush()
1514 StreamChecker::ensureStreamNonNull(SVal StreamVal, const Expr *StreamE,  in ensureStreamNonNull()  argument
1517   auto Stream = StreamVal.getAs<DefinedSVal>();  in ensureStreamNonNull()
1540 ProgramStateRef StreamChecker::ensureStreamOpened(SVal StreamVal,  in ensureStreamOpened()  argument
1543   SymbolRef Sym = StreamVal.getAsSymbol();  in ensureStreamOpened()
1586     SVal StreamVal, CheckerContext &C, ProgramStateRef State) const {  in ensureNoFilePositionIndeterminate()  argument
1592   SymbolRef Sym = StreamVal.getAsSymbol();  in ensureNoFilePositionIndeterminate()