Lines Matching defs:StreamVal

547   /// Check that the stream (in StreamVal) is not NULL.
551   ProgramStateRef ensureStreamNonNull(SVal StreamVal, const Expr *StreamE,
558   ProgramStateRef ensureStreamOpened(SVal StreamVal, CheckerContext &C,
568   ensureNoFilePositionIndeterminate(SVal StreamVal, CheckerContext &C,
979   std::optional<DefinedSVal> StreamVal =
981   if (!StreamVal)
984   SymbolRef StreamSym = StreamVal->getAsSymbol();
999       State->BindExpr(CE, C.getLocationContext(), *StreamVal);
1036   SVal StreamVal = getStreamArg(Desc, Call);
1037   State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C,
1041   State = ensureStreamOpened(StreamVal, C, State);
1044   State = ensureNoFilePositionIndeterminate(StreamVal, C, State);
1048   SymbolRef Sym = StreamVal.getAsSymbol();
1061   SVal StreamVal = getStreamArg(Desc, Call);
1062   State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C,
1066   State = ensureStreamOpened(StreamVal, C, State);
1069   State = ensureNoFilePositionIndeterminate(StreamVal, C, State);
1506   SVal StreamVal = getStreamArg(Desc, Call);
1507   State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C,
1511   State = ensureStreamOpened(StreamVal, C, State);
1636   SVal StreamVal = getStreamArg(Desc, Call);
1637   std::optional<DefinedSVal> Stream = StreamVal.getAs<DefinedSVal>();
1645     ensureStreamOpened(StreamVal, C, StateNotNull);
1651   SVal StreamVal = getStreamArg(Desc, Call);
1652   std::optional<DefinedSVal> Stream = StreamVal.getAs<DefinedSVal>();
1688     if (SymbolRef StreamSym = StreamVal.getAsSymbol()) {
1784   SVal StreamVal = getStreamArg(Desc, Call);
1785   State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C,
1789   State = ensureStreamOpened(StreamVal, C, State);
1812 StreamChecker::ensureStreamNonNull(SVal StreamVal, const Expr *StreamE,
1815   auto Stream = StreamVal.getAs<DefinedSVal>();
1878 ProgramStateRef StreamChecker::ensureStreamOpened(SVal StreamVal,
1881   SymbolRef Sym = StreamVal.getAsSymbol();
1924     SVal StreamVal, CheckerContext &C, ProgramStateRef State) const {
1930   SymbolRef Sym = StreamVal.getAsSymbol();