Home
last modified time | relevance | path

Searched refs:getDynamicExtent (Results 1 – 6 of 6) sorted by relevance

/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/
H A DDynamicExtent.cpp28 DefinedOrUnknownSVal getDynamicExtent(ProgramStateRef State, in getDynamicExtent() function
50 DefinedOrUnknownSVal Size = getDynamicExtent(State, MR, SVB); in getDynamicElementCount()
75 getDynamicExtent(State, BaseRegion, SvalBuilder); in getDynamicExtentWithOffset()
/openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DDynamicExtent.h26 DefinedOrUnknownSVal getDynamicExtent(ProgramStateRef State,
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/
H A DCastSizeChecker.cpp115 DefinedOrUnknownSVal Size = getDynamicExtent(state, SR, svalBuilder); in checkPreStmt()
H A DExprInspectionChecker.cpp333 DefinedOrUnknownSVal Size = getDynamicExtent(State, MR, C.getSValBuilder()); in analyzerGetExtent()
346 getDynamicExtent(C.getState(), MR, C.getSValBuilder()); in analyzerDumpExtent()
H A DArrayBoundCheckerV2.cpp182 DefinedOrUnknownSVal Size = getDynamicExtent(state, MR, svalBuilder); in checkLocation()
H A DCStringChecker.cpp409 getDynamicExtent(state, superReg, C.getSValBuilder()); in CheckLocation()
1016 DefinedOrUnknownSVal SizeDV = getDynamicExtent(state, superReg, svalBuilder); in IsFirstBufInBound()
1150 DefinedOrUnknownSVal SizeDV = getDynamicExtent(State, BR, svalBuilder); in memsetAux()