Searched refs:StreamVal (Results 1 – 2 of 2) sorted by relevance
528 Optional<DefinedSVal> StreamVal = in evalFreopen() local530 if (!StreamVal) in evalFreopen()533 SymbolRef StreamSym = StreamVal->getAsSymbol(); in evalFreopen()588 SVal StreamVal = getStreamArg(Desc, Call); in preFread() local600 SymbolRef Sym = StreamVal.getAsSymbol(); in preFread()613 SVal StreamVal = getStreamArg(Desc, Call); in preFwrite() local716 SVal StreamVal = getStreamArg(Desc, Call); in preFseek() local836 SVal StreamVal = getStreamArg(Desc, Call); in preDefault() local865 auto Stream = StreamVal.getAs<DefinedSVal>(); in ensureStreamNonNull()891 SymbolRef Sym = StreamVal.getAsSymbol(); in ensureStreamOpened()[all …]
528 const auto StreamVal = Call.getArgSVal(0); in handleOstreamOperator() local529 const MemRegion *StreamThisRegion = StreamVal.getAsRegion(); in handleOstreamOperator()536 State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), StreamVal); in handleOstreamOperator()