324   ProgramStateRef ensureStreamNonNull(SVal StreamVal, const Expr *StreamE,
331   ProgramStateRef ensureStreamOpened(SVal StreamVal, CheckerContext &C,
341   ensureNoFilePositionIndeterminate(SVal StreamVal, CheckerContext &C,
529   Optional<DefinedSVal> StreamVal =  in evalFreopen()  local
531   if (!StreamVal)  in evalFreopen()
534   SymbolRef StreamSym = StreamVal->getAsSymbol();  in evalFreopen()
549       State->BindExpr(CE, C.getLocationContext(), *StreamVal);  in evalFreopen()
590   SVal StreamVal = getStreamArg(Desc, Call);  in preFread()  local
591   State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C,  in preFread()
595   State = ensureStreamOpened(StreamVal, C, State);  in preFread()
598   State = ensureNoFilePositionIndeterminate(StreamVal, C, State);  in preFread()
602   SymbolRef Sym = StreamVal.getAsSymbol();  in preFread()
615   SVal StreamVal = getStreamArg(Desc, Call);  in preFwrite()  local
616   State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C,  in preFwrite()
620   State = ensureStreamOpened(StreamVal, C, State);  in preFwrite()
623   State = ensureNoFilePositionIndeterminate(StreamVal, C, State);  in preFwrite()
713   SVal StreamVal = getStreamArg(Desc, Call);  in preFseek()  local
714   State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C,  in preFseek()
718   State = ensureStreamOpened(StreamVal, C, State);  in preFseek()
833   SVal StreamVal = getStreamArg(Desc, Call);  in preDefault()  local
834   State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C,  in preDefault()
838   State = ensureStreamOpened(StreamVal, C, State);  in preDefault()
859 StreamChecker::ensureStreamNonNull(SVal StreamVal, const Expr *StreamE,  in ensureStreamNonNull()  argument
862   auto Stream = StreamVal.getAs<DefinedSVal>();  in ensureStreamNonNull()
885 ProgramStateRef StreamChecker::ensureStreamOpened(SVal StreamVal,  in ensureStreamOpened()  argument
888   SymbolRef Sym = StreamVal.getAsSymbol();  in ensureStreamOpened()
932     SVal StreamVal, CheckerContext &C, ProgramStateRef State) const {  in ensureNoFilePositionIndeterminate()  argument
938   SymbolRef Sym = StreamVal.getAsSymbol();  in ensureNoFilePositionIndeterminate()