Home
last modified time | relevance | path

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

/freebsd-src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DStreamChecker.cpp624 std::optional<DefinedSVal> StreamVal = evalFreopen() local
699 SVal StreamVal = getStreamArg(Desc, Call); preReadWrite() local
1154 SVal StreamVal = getStreamArg(Desc, Call); preFseek() local
1410 SVal StreamVal = getStreamArg(Desc, Call); preDefault() local
1438 SVal StreamVal = getStreamArg(Desc, Call); preFflush() local
1453 SVal StreamVal = getStreamArg(Desc, Call); evalFflush() local
1514 ensureStreamNonNull(SVal StreamVal,const Expr * StreamE,CheckerContext & C,ProgramStateRef State) const ensureStreamNonNull() argument
1540 ensureStreamOpened(SVal StreamVal,CheckerContext & C,ProgramStateRef State) const ensureStreamOpened() argument
1586 ensureNoFilePositionIndeterminate(SVal StreamVal,CheckerContext & C,ProgramStateRef State) const ensureNoFilePositionIndeterminate() argument
[all...]
H A DSmartPtrModeling.cpp528 const auto StreamVal = Call.getArgSVal(0); in handleOstreamOperator() local