Searched defs:MemRegion (Results 1 – 13 of 13) sorted by relevance
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
D | SubEngine.h | 41 class MemRegion; variable
|
D | SymExpr.h | 25 class MemRegion; variable
|
D | SVals.h | 37 class MemRegion; variable
|
D | MemRegion.h | 91 MemRegion(Kind k) : kind(k) {} in MemRegion() function
|
/external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
D | MPIChecker.cpp | 147 llvm::SmallVector<const MemRegion *, 2> &ReqRegions, in allRegionsUsedByWait()
|
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
D | BugReporterVisitor.h | 29 class MemRegion; variable
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
D | PointerArithChecker.cpp | 76 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, const MemRegion *, AllocKind) in REGISTER_MAP_WITH_PROGRAMSTATE()
|
D | PthreadLockChecker.cpp | 77 REGISTER_LIST_WITH_PROGRAMSTATE(LockSet, const MemRegion *) in REGISTER_LIST_WITH_PROGRAMSTATE()
|
D | LocalizationChecker.cpp | 106 REGISTER_MAP_WITH_PROGRAMSTATE(LocalizedMemMap, const MemRegion *, in REGISTER_MAP_WITH_PROGRAMSTATE()
|
D | CStringChecker.cpp | 213 REGISTER_MAP_WITH_PROGRAMSTATE(CStringLength, const MemRegion *, SVal) in REGISTER_MAP_WITH_PROGRAMSTATE()
|
/external/clang/include/clang/StaticAnalyzer/Core/ |
D | CheckerManager.h | 46 class MemRegion; variable
|
/external/clang/lib/StaticAnalyzer/Core/ |
D | MemRegion.cpp | 358 const MemRegion*) { in ProfileRegion() 370 const MemRegion*) { in ProfileRegion()
|
D | ExprEngineCallAndReturn.cpp | 401 CLANG_ENTO_PROGRAMSTATE_MAP(const MemRegion *, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|