Searched refs:StreamVal (Results 1 – 2 of 2) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | StreamChecker.cpp | 536 ProgramStateRef ensureStreamNonNull(SVal StreamVal, const Expr *StreamE,
543 ProgramStateRef ensureStreamOpened(SVal StreamVal, CheckerContext &C,
553 ensureNoFilePositionIndeterminate(SVal StreamVal, CheckerContext &C,
940 std::optional<DefinedSVal> StreamVal = in evalFreopen() local
942 if (!StreamVal) in evalFreopen()
945 SymbolRef StreamSym = StreamVal->getAsSymbol(); in evalFreopen()
960 State->BindExpr(CE, C.getLocationContext(), *StreamVal); in evalFreopen()
997 SVal StreamVal = getStreamArg(Desc, Call); in preRead() local
998 State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C, in preRead()
1002 State = ensureStreamOpened(StreamVal, C, State); in preRead()
[all …]
|
| H A D | SmartPtrModeling.cpp | 528 const auto StreamVal = Call.getArgSVal(0); in handleOstreamOperator() local
529 const MemRegion *StreamThisRegion = StreamVal.getAsRegion(); in handleOstreamOperator()
536 State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), StreamVal); in handleOstreamOperator()
|