Searched defs:StreamVal (Results 1 – 2 of 2) sorted by relevance
529 Optional<DefinedSVal> StreamVal = in evalFreopen() local590 SVal StreamVal = getStreamArg(Desc, Call); in preFread() local615 SVal StreamVal = getStreamArg(Desc, Call); in preFwrite() local713 SVal StreamVal = getStreamArg(Desc, Call); in preFseek() local833 SVal StreamVal = getStreamArg(Desc, Call); in preDefault() local859 StreamChecker::ensureStreamNonNull(SVal StreamVal, const Expr *StreamE, in ensureStreamNonNull()885 ProgramStateRef StreamChecker::ensureStreamOpened(SVal StreamVal, in ensureStreamOpened()932 SVal StreamVal, CheckerContext &C, ProgramStateRef State) const { in ensureNoFilePositionIndeterminate()
526 const auto StreamVal = Call.getArgSVal(0); in handleOstreamOperator() local