Searched refs:StreamVal (Results 1 – 2 of 2) sorted by relevance
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | StreamChecker.cpp | 344 ProgramStateRef ensureStreamNonNull(SVal StreamVal, const Expr *StreamE,
351 ProgramStateRef ensureStreamOpened(SVal StreamVal, CheckerContext &C,
361 ensureNoFilePositionIndeterminate(SVal StreamVal, CheckerContext &C,
561 std::optional<DefinedSVal> StreamVal = in evalFreopen() local
563 if (!StreamVal) in evalFreopen()
566 SymbolRef StreamSym = StreamVal->getAsSymbol(); in evalFreopen()
581 State->BindExpr(CE, C.getLocationContext(), *StreamVal); in evalFreopen()
635 SVal StreamVal = getStreamArg(Desc, Call); in preFread() local
636 State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C, in preFread()
640 State = ensureStreamOpened(StreamVal, C, State); in preFread()
[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()
|