Searched defs:StreamVal (Results 1 – 1 of 1) sorted by relevance
491 Optional<DefinedSVal> StreamVal = in evalFreopen() local551 SVal StreamVal = getStreamArg(Desc, Call); in preFread() local575 SVal StreamVal = getStreamArg(Desc, Call); in preFwrite() local673 SVal StreamVal = getStreamArg(Desc, Call); in preFseek() local792 SVal StreamVal = getStreamArg(Desc, Call); in preDefault() local817 StreamChecker::ensureStreamNonNull(SVal StreamVal, CheckerContext &C, in ensureStreamNonNull()839 ProgramStateRef StreamChecker::ensureStreamOpened(SVal StreamVal, in ensureStreamOpened()886 SVal StreamVal, CheckerContext &C, ProgramStateRef State) const { in ensureNoFilePositionIndeterminate()