Searched defs:StreamVal (Results 1 – 2 of 2) sorted by relevance
528 Optional<DefinedSVal> StreamVal = in evalFreopen() local588 SVal StreamVal = getStreamArg(Desc, Call); in preFread() local613 SVal StreamVal = getStreamArg(Desc, Call); in preFwrite() local716 SVal StreamVal = getStreamArg(Desc, Call); in preFseek() local836 SVal StreamVal = getStreamArg(Desc, Call); in preDefault() local862 StreamChecker::ensureStreamNonNull(SVal StreamVal, const Expr *StreamE, in ensureStreamNonNull()888 ProgramStateRef StreamChecker::ensureStreamOpened(SVal StreamVal, in ensureStreamOpened()935 SVal StreamVal, CheckerContext &C, ProgramStateRef State) const { in ensureNoFilePositionIndeterminate()
528 const auto StreamVal = Call.getArgSVal(0); in handleOstreamOperator() local