Searched refs:getDynamicElementCount (Results 1 – 9 of 9) sorted by relevance
| /openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | DynamicExtent.h | 33 DefinedOrUnknownSVal getDynamicElementCount(ProgramStateRef State,
|
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ArrayBoundChecker.cpp | 58 DefinedOrUnknownSVal ElementCount = getDynamicElementCount( in checkLocation()
|
| H A D | ReturnPointerRangeChecker.cpp | 63 DefinedOrUnknownSVal ElementCount = getDynamicElementCount( in checkPreStmt()
|
| H A D | UndefResultChecker.cpp | 54 DefinedOrUnknownSVal ElementCount = getDynamicElementCount( in isArrayIndexOutOfBounds()
|
| H A D | ExprInspectionChecker.cpp | 366 getDynamicElementCount(C.getState(), MR, C.getSValBuilder(), ElementTy); in analyzerDumpElementCount()
|
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/ |
| H A D | DynamicExtent.cpp | 43 DefinedOrUnknownSVal getDynamicElementCount(ProgramStateRef State, in getDynamicElementCount() function
|
| H A D | ExprEngineCallAndReturn.cpp | 215 getDynamicElementCount(State, ArrayRegion, SVB, ElementType); in getElementCountOfArrayBeingDestructed()
|
| H A D | ExprEngine.cpp | 1251 auto ElementCount = getDynamicElementCount(State, Region, svalBuilder, Ty); in prepareStateForArrayDestruction()
|
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| H A D | MPIChecker.cpp | 164 DefinedOrUnknownSVal ElementCount = getDynamicElementCount( in allRegionsUsedByWait()
|