Home
last modified time | relevance | path

Searched defs:StreamVal (Results 1 – 2 of 2) sorted by relevance

/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DStreamChecker.cpp940 std::optional<DefinedSVal> StreamVal = evalFreopen() local
997 SVal StreamVal = getStreamArg(Desc, Call); preRead() local
1022 SVal StreamVal = getStreamArg(Desc, Call); preWrite() local
1467 SVal StreamVal = getStreamArg(Desc, Call); preFseek() local
1597 SVal StreamVal = getStreamArg(Desc, Call); preFflush() local
1612 SVal StreamVal = getStreamArg(Desc, Call); evalFflush() local
1745 SVal StreamVal = getStreamArg(Desc, Call); preDefault() local
1773 ensureStreamNonNull(SVal StreamVal,const Expr * StreamE,CheckerContext & C,ProgramStateRef State) const ensureStreamNonNull() argument
1799 ensureStreamOpened(SVal StreamVal,CheckerContext & C,ProgramStateRef State) const ensureStreamOpened() argument
1845 ensureNoFilePositionIndeterminate(SVal StreamVal,CheckerContext & C,ProgramStateRef State) const ensureNoFilePositionIndeterminate() argument
[all...]
H A DSmartPtrModeling.cpp528 const auto StreamVal = Call.getArgSVal(0); in handleOstreamOperator() local