Searched refs:getDynamicExtent (Results 1 – 5 of 5) sorted by relevance
| /freebsd-src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | DynamicExtent.cpp | 28 DefinedOrUnknownSVal getDynamicExtent(ProgramStateRef State, in getDynamicExtent() function 82 return getDynamicElementCount(State, getDynamicExtent(State, MR, SVB), in getDynamicElementCount() 100 DefinedOrUnknownSVal ExtentInBytes = getDynamicExtent(State, BaseRegion, SVB); in getDynamicExtentWithOffset()
|
| /freebsd-src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | DynamicExtent.h | 26 DefinedOrUnknownSVal getDynamicExtent(ProgramStateRef State,
|
| /freebsd-src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CastSizeChecker.cpp | 115 DefinedOrUnknownSVal Size = getDynamicExtent(state, SR, svalBuilder); in checkPreStmt()
|
| H A D | ArrayBoundCheckerV2.cpp | 610 DefinedOrUnknownSVal Size = getDynamicExtent(State, Reg, SVB);
|
| H A D | CStringChecker.cpp | 575 getDynamicExtent(state, superReg, C.getSValBuilder()); in CheckOverlap() 1196 DefinedOrUnknownSVal SizeDV = getDynamicExtent(State, superReg, SB); in SummarizeRegion() 1373 DefinedOrUnknownSVal SizeDV = getDynamicExtent(State, BR, svalBuilder); in evalCopyCommon()
|