309   ProgramStateRef ensureStreamNonNull(SVal StreamVal, CheckerContext &C,
315   ProgramStateRef ensureStreamOpened(SVal StreamVal, CheckerContext &C,
325   ensureNoFilePositionIndeterminate(SVal StreamVal, CheckerContext &C,
491   Optional<DefinedSVal> StreamVal =  in evalFreopen()  local
493   if (!StreamVal)  in evalFreopen()
496   SymbolRef StreamSym = StreamVal->getAsSymbol();  in evalFreopen()
511       State->BindExpr(CE, C.getLocationContext(), *StreamVal);  in evalFreopen()
551   SVal StreamVal = getStreamArg(Desc, Call);  in preFread()  local
552   State = ensureStreamNonNull(StreamVal, C, State);  in preFread()
555   State = ensureStreamOpened(StreamVal, C, State);  in preFread()
558   State = ensureNoFilePositionIndeterminate(StreamVal, C, State);  in preFread()
562   SymbolRef Sym = StreamVal.getAsSymbol();  in preFread()
575   SVal StreamVal = getStreamArg(Desc, Call);  in preFwrite()  local
576   State = ensureStreamNonNull(StreamVal, C, State);  in preFwrite()
579   State = ensureStreamOpened(StreamVal, C, State);  in preFwrite()
582   State = ensureNoFilePositionIndeterminate(StreamVal, C, State);  in preFwrite()
673   SVal StreamVal = getStreamArg(Desc, Call);  in preFseek()  local
674   State = ensureStreamNonNull(StreamVal, C, State);  in preFseek()
677   State = ensureStreamOpened(StreamVal, C, State);  in preFseek()
792   SVal StreamVal = getStreamArg(Desc, Call);  in preDefault()  local
793   State = ensureStreamNonNull(StreamVal, C, State);  in preDefault()
796   State = ensureStreamOpened(StreamVal, C, State);  in preDefault()
817 StreamChecker::ensureStreamNonNull(SVal StreamVal, CheckerContext &C,  in ensureStreamNonNull()  argument
819   auto Stream = StreamVal.getAs<DefinedSVal>();  in ensureStreamNonNull()
839 ProgramStateRef StreamChecker::ensureStreamOpened(SVal StreamVal,  in ensureStreamOpened()  argument
842   SymbolRef Sym = StreamVal.getAsSymbol();  in ensureStreamOpened()
886     SVal StreamVal, CheckerContext &C, ProgramStateRef State) const {  in ensureNoFilePositionIndeterminate()  argument
892   SymbolRef Sym = StreamVal.getAsSymbol();  in ensureNoFilePositionIndeterminate()