344   ProgramStateRef ensureStreamNonNull(SVal StreamVal, const Expr *StreamE,
351   ProgramStateRef ensureStreamOpened(SVal StreamVal, CheckerContext &C,
361   ensureNoFilePositionIndeterminate(SVal StreamVal, CheckerContext &C,
561   std::optional<DefinedSVal> StreamVal =  in evalFreopen()  local
563   if (!StreamVal)  in evalFreopen()
566   SymbolRef StreamSym = StreamVal->getAsSymbol();  in evalFreopen()
581       State->BindExpr(CE, C.getLocationContext(), *StreamVal);  in evalFreopen()
635   SVal StreamVal = getStreamArg(Desc, Call);  in preFread()  local
636   State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C,  in preFread()
640   State = ensureStreamOpened(StreamVal, C, State);  in preFread()
643   State = ensureNoFilePositionIndeterminate(StreamVal, C, State);  in preFread()
647   SymbolRef Sym = StreamVal.getAsSymbol();  in preFread()
660   SVal StreamVal = getStreamArg(Desc, Call);  in preFwrite()  local
661   State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C,  in preFwrite()
665   State = ensureStreamOpened(StreamVal, C, State);  in preFwrite()
668   State = ensureNoFilePositionIndeterminate(StreamVal, C, State);  in preFwrite()
758   SVal StreamVal = getStreamArg(Desc, Call);  in preFseek()  local
759   State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C,  in preFseek()
763   State = ensureStreamOpened(StreamVal, C, State);  in preFseek()
1003   SVal StreamVal = getStreamArg(Desc, Call);  in preDefault()  local
1004   State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C,  in preDefault()
1008   State = ensureStreamOpened(StreamVal, C, State);  in preDefault()
1029 StreamChecker::ensureStreamNonNull(SVal StreamVal, const Expr *StreamE,  in ensureStreamNonNull()  argument
1032   auto Stream = StreamVal.getAs<DefinedSVal>();  in ensureStreamNonNull()
1053 ProgramStateRef StreamChecker::ensureStreamOpened(SVal StreamVal,  in ensureStreamOpened()  argument
1056   SymbolRef Sym = StreamVal.getAsSymbol();  in ensureStreamOpened()
1100     SVal StreamVal, CheckerContext &C, ProgramStateRef State) const {  in ensureNoFilePositionIndeterminate()  argument
1106   SymbolRef Sym = StreamVal.getAsSymbol();  in ensureNoFilePositionIndeterminate()