323   ProgramStateRef ensureStreamNonNull(SVal StreamVal, const Expr *StreamE,
330   ProgramStateRef ensureStreamOpened(SVal StreamVal, CheckerContext &C,
340   ensureNoFilePositionIndeterminate(SVal StreamVal, CheckerContext &C,
528   Optional<DefinedSVal> StreamVal =  in evalFreopen()  local
530   if (!StreamVal)  in evalFreopen()
533   SymbolRef StreamSym = StreamVal->getAsSymbol();  in evalFreopen()
548       State->BindExpr(CE, C.getLocationContext(), *StreamVal);  in evalFreopen()
588   SVal StreamVal = getStreamArg(Desc, Call);  in preFread()  local
589   State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C,  in preFread()
593   State = ensureStreamOpened(StreamVal, C, State);  in preFread()
596   State = ensureNoFilePositionIndeterminate(StreamVal, C, State);  in preFread()
600   SymbolRef Sym = StreamVal.getAsSymbol();  in preFread()
613   SVal StreamVal = getStreamArg(Desc, Call);  in preFwrite()  local
614   State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C,  in preFwrite()
618   State = ensureStreamOpened(StreamVal, C, State);  in preFwrite()
621   State = ensureNoFilePositionIndeterminate(StreamVal, C, State);  in preFwrite()
716   SVal StreamVal = getStreamArg(Desc, Call);  in preFseek()  local
717   State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C,  in preFseek()
721   State = ensureStreamOpened(StreamVal, C, State);  in preFseek()
836   SVal StreamVal = getStreamArg(Desc, Call);  in preDefault()  local
837   State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C,  in preDefault()
841   State = ensureStreamOpened(StreamVal, C, State);  in preDefault()
862 StreamChecker::ensureStreamNonNull(SVal StreamVal, const Expr *StreamE,  in ensureStreamNonNull()  argument
865   auto Stream = StreamVal.getAs<DefinedSVal>();  in ensureStreamNonNull()
888 ProgramStateRef StreamChecker::ensureStreamOpened(SVal StreamVal,  in ensureStreamOpened()  argument
891   SymbolRef Sym = StreamVal.getAsSymbol();  in ensureStreamOpened()
935     SVal StreamVal, CheckerContext &C, ProgramStateRef State) const {  in ensureNoFilePositionIndeterminate()  argument
941   SymbolRef Sym = StreamVal.getAsSymbol();  in ensureNoFilePositionIndeterminate()