Home
last modified time | relevance | path

Searched refs:MemSpaceRegion (Results 1 – 8 of 8) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DMemRegion.h39 class MemSpaceRegion; variable
137 const MemSpaceRegion *getMemorySpace() const;
193 class MemSpaceRegion : public MemRegion {
199 MemSpaceRegion(MemRegionManager *mgr, Kind k = GenericMemSpaceRegionKind)
217 class GlobalsSpaceRegion : public MemSpaceRegion {
221 : MemSpaceRegion(mgr, k) {} in GlobalsSpaceRegion()
331 class HeapSpaceRegion : public MemSpaceRegion {
336 : MemSpaceRegion(mgr, HeapSpaceRegionKind) {} in HeapSpaceRegion()
346 class UnknownSpaceRegion : public MemSpaceRegion {
350 : MemSpaceRegion(mgr, UnknownSpaceRegionKind) {} in UnknownSpaceRegion()
[all …]
/external/clang/lib/StaticAnalyzer/Core/
DMemRegion.cpp248 void MemSpaceRegion::Profile(llvm::FoldingSetNodeID& ID) const { in Profile()
714 const MemSpaceRegion *MemRegionManager::getUnknownRegion() { in getUnknownRegion()
718 const MemSpaceRegion *MemRegionManager::getCodeRegion() { in getCodeRegion()
1003 assert(Super && !isa<MemSpaceRegion>(Super)); in getCXXBaseObjectRegion()
1028 const MemSpaceRegion *MemRegion::getMemorySpace() const { in getMemorySpace()
1037 return dyn_cast<MemSpaceRegion>(R); in getMemorySpace()
1053 const MemSpaceRegion *MS = getMemorySpace(); in hasGlobalsOrParametersStorage()
DSimpleSValBuilder.cpp732 const MemSpaceRegion *LeftMS = LeftBase->getMemorySpace(); in evalBinOpLL()
733 const MemSpaceRegion *RightMS = RightBase->getMemorySpace(); in evalBinOpLL()
734 const MemSpaceRegion *UnknownMS = MemMgr.getUnknownRegion(); in evalBinOpLL()
DProgramState.cpp583 if (isa<MemSpaceRegion>(R)) in scan()
605 if (isa<MemSpaceRegion>(Super)) { in scan()
DSymbolManager.cpp431 if (isa<MemSpaceRegion>(MR)) in isLiveRegion()
DBugReporterVisitors.cpp435 const MemSpaceRegion *VarSpace = VR->getMemorySpace(); in isInitializationOfVar()
DRegionStore.cpp1733 const MemSpaceRegion *MS = R->getMemorySpace(); in getBindingForVar()
/external/clang/lib/StaticAnalyzer/Checkers/
DMallocChecker.cpp1110 const MemSpaceRegion *MS = R->getMemorySpace(); in FreeMemAux()
1272 const MemSpaceRegion *MS = MR->getMemorySpace(); in SummarizeRegion()