Searched defs:StreamVal (Results 1 – 2 of 2) sorted by relevance
561 std::optional<DefinedSVal> StreamVal = in evalFreopen() local635 SVal StreamVal = getStreamArg(Desc, Call); in preFread() local660 SVal StreamVal = getStreamArg(Desc, Call); in preFwrite() local758 SVal StreamVal = getStreamArg(Desc, Call); in preFseek() local1003 SVal StreamVal = getStreamArg(Desc, Call); in preDefault() local1029 StreamChecker::ensureStreamNonNull(SVal StreamVal, const Expr *StreamE, in ensureStreamNonNull()1053 ProgramStateRef StreamChecker::ensureStreamOpened(SVal StreamVal, in ensureStreamOpened()1100 SVal StreamVal, CheckerContext &C, ProgramStateRef State) const { in ensureNoFilePositionIndeterminate()
528 const auto StreamVal = Call.getArgSVal(0); in handleOstreamOperator() local