Lines Matching defs:StreamVal

532   /// Check that the stream (in StreamVal) is not NULL.
536   ProgramStateRef ensureStreamNonNull(SVal StreamVal, const Expr *StreamE,
543   ProgramStateRef ensureStreamOpened(SVal StreamVal, CheckerContext &C,
553   ensureNoFilePositionIndeterminate(SVal StreamVal, CheckerContext &C,
940   std::optional<DefinedSVal> StreamVal =
942   if (!StreamVal)
945   SymbolRef StreamSym = StreamVal->getAsSymbol();
960       State->BindExpr(CE, C.getLocationContext(), *StreamVal);
997   SVal StreamVal = getStreamArg(Desc, Call);
998   State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C,
1002   State = ensureStreamOpened(StreamVal, C, State);
1005   State = ensureNoFilePositionIndeterminate(StreamVal, C, State);
1009   SymbolRef Sym = StreamVal.getAsSymbol();
1022   SVal StreamVal = getStreamArg(Desc, Call);
1023   State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C,
1027   State = ensureStreamOpened(StreamVal, C, State);
1030   State = ensureNoFilePositionIndeterminate(StreamVal, C, State);
1467   SVal StreamVal = getStreamArg(Desc, Call);
1468   State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C,
1472   State = ensureStreamOpened(StreamVal, C, State);
1597   SVal StreamVal = getStreamArg(Desc, Call);
1598   std::optional<DefinedSVal> Stream = StreamVal.getAs<DefinedSVal>();
1606     ensureStreamOpened(StreamVal, C, StateNotNull);
1612   SVal StreamVal = getStreamArg(Desc, Call);
1613   std::optional<DefinedSVal> Stream = StreamVal.getAs<DefinedSVal>();
1649     if (SymbolRef StreamSym = StreamVal.getAsSymbol()) {
1745   SVal StreamVal = getStreamArg(Desc, Call);
1746   State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C,
1750   State = ensureStreamOpened(StreamVal, C, State);
1773 StreamChecker::ensureStreamNonNull(SVal StreamVal, const Expr *StreamE,
1776   auto Stream = StreamVal.getAs<DefinedSVal>();
1799 ProgramStateRef StreamChecker::ensureStreamOpened(SVal StreamVal,
1802   SymbolRef Sym = StreamVal.getAsSymbol();
1845     SVal StreamVal, CheckerContext &C, ProgramStateRef State) const {
1851   SymbolRef Sym = StreamVal.getAsSymbol();