Home
last modified time | relevance | path

Searched defs:MemRegion (Results 1 – 13 of 13) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSubEngine.h41 class MemRegion; variable
DSymExpr.h25 class MemRegion; variable
DSVals.h37 class MemRegion; variable
DMemRegion.h91 MemRegion(Kind k) : kind(k) {} in MemRegion() function
/external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
DMPIChecker.cpp147 llvm::SmallVector<const MemRegion *, 2> &ReqRegions, in allRegionsUsedByWait()
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
DBugReporterVisitor.h29 class MemRegion; variable
/external/clang/lib/StaticAnalyzer/Checkers/
DPointerArithChecker.cpp76 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, const MemRegion *, AllocKind) in REGISTER_MAP_WITH_PROGRAMSTATE()
DPthreadLockChecker.cpp77 REGISTER_LIST_WITH_PROGRAMSTATE(LockSet, const MemRegion *) in REGISTER_LIST_WITH_PROGRAMSTATE()
DLocalizationChecker.cpp106 REGISTER_MAP_WITH_PROGRAMSTATE(LocalizedMemMap, const MemRegion *, in REGISTER_MAP_WITH_PROGRAMSTATE()
DCStringChecker.cpp213 REGISTER_MAP_WITH_PROGRAMSTATE(CStringLength, const MemRegion *, SVal) in REGISTER_MAP_WITH_PROGRAMSTATE()
/external/clang/include/clang/StaticAnalyzer/Core/
DCheckerManager.h46 class MemRegion; variable
/external/clang/lib/StaticAnalyzer/Core/
DMemRegion.cpp358 const MemRegion*) { in ProfileRegion()
370 const MemRegion*) { in ProfileRegion()
DExprEngineCallAndReturn.cpp401 CLANG_ENTO_PROGRAMSTATE_MAP(const MemRegion *, in REGISTER_TRAIT_WITH_PROGRAMSTATE()