Searched refs:StreamVal (Results 1 – 2 of 2) sorted by relevance
624 std::optional<DefinedSVal> StreamVal = in evalFreopen() local626 if (!StreamVal) in evalFreopen()699 SVal StreamVal = getStreamArg(Desc, Call); in preReadWrite() local716 SymbolRef Sym = StreamVal.getAsSymbol(); in preReadWrite()1154 SVal StreamVal = getStreamArg(Desc, Call); in preFseek() local1410 SVal StreamVal = getStreamArg(Desc, Call); in preDefault() local1438 SVal StreamVal = getStreamArg(Desc, Call); in preFflush() local1453 SVal StreamVal = getStreamArg(Desc, Call); in evalFflush() local1517 auto Stream = StreamVal.getAs<DefinedSVal>(); in ensureStreamNonNull()1543 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()