Searched refs:getDynamicExtent (Results 1 – 6 of 6) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | DynamicExtent.cpp | 27 DefinedOrUnknownSVal getDynamicExtent(ProgramStateRef State, in getDynamicExtent() function
81 return getDynamicElementCount(State, getDynamicExtent(State, MR, SVB), in getDynamicElementCount()
99 DefinedOrUnknownSVal ExtentInBytes = getDynamicExtent(State, BaseRegion, SVB); in getDynamicExtentWithOffset()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | DynamicExtent.h | 26 DefinedOrUnknownSVal getDynamicExtent(ProgramStateRef State,
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CastSizeChecker.cpp | 117 DefinedOrUnknownSVal Size = getDynamicExtent(state, SR, svalBuilder); in checkPreStmt()
|
| H A D | UnixAPIChecker.cpp | 366 auto LineBufSize = getDynamicExtent(LinePtrNotNull, LinePtrRegion, SVB); in EnsureGetdelimBufferAndSizeCorrect()
|
| H A D | ArrayBoundChecker.cpp | 656 DefinedOrUnknownSVal Size = getDynamicExtent(State, Reg, SVB); in performCheck()
|
| H A D | CStringChecker.cpp | 580 getDynamicExtent(state, superReg, C.getSValBuilder()); in CheckLocation()
1202 DefinedOrUnknownSVal SizeDV = getDynamicExtent(State, superReg, SB); in isFirstBufInBound()
1379 DefinedOrUnknownSVal SizeDV = getDynamicExtent(State, BR, svalBuilder); in memsetAux()
|