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.h42 class MemSpaceRegion; variable
140 const MemSpaceRegion *getMemorySpace() const;
196 class MemSpaceRegion : public MemRegion {
202 MemSpaceRegion(MemRegionManager *mgr, Kind k = GenericMemSpaceRegionKind)
220 class GlobalsSpaceRegion : public MemSpaceRegion {
224 : MemSpaceRegion(mgr, k) {} in GlobalsSpaceRegion()
334 class HeapSpaceRegion : public MemSpaceRegion {
339 : MemSpaceRegion(mgr, HeapSpaceRegionKind) {} in HeapSpaceRegion()
349 class UnknownSpaceRegion : public MemSpaceRegion {
353 : MemSpaceRegion(mgr, UnknownSpaceRegionKind) {} in UnknownSpaceRegion()
[all …]
/external/clang/lib/StaticAnalyzer/Core/
DMemRegion.cpp248 void MemSpaceRegion::Profile(llvm::FoldingSetNodeID& ID) const { in Profile()
703 const MemSpaceRegion *MemRegionManager::getUnknownRegion() { in getUnknownRegion()
707 const MemSpaceRegion *MemRegionManager::getCodeRegion() { in getCodeRegion()
993 assert(Super && !isa<MemSpaceRegion>(Super)); in getCXXBaseObjectRegion()
1018 const MemSpaceRegion *MemRegion::getMemorySpace() const { in getMemorySpace()
1027 return dyn_cast<MemSpaceRegion>(R); in getMemorySpace()
1043 const MemSpaceRegion *MS = getMemorySpace(); in hasGlobalsOrParametersStorage()
DSimpleSValBuilder.cpp712 const MemSpaceRegion *LeftMS = LeftBase->getMemorySpace(); in evalBinOpLL()
713 const MemSpaceRegion *RightMS = RightBase->getMemorySpace(); in evalBinOpLL()
714 const MemSpaceRegion *UnknownMS = MemMgr.getUnknownRegion(); in evalBinOpLL()
DProgramState.cpp600 if (isa<MemSpaceRegion>(R)) in scan()
624 if (isa<MemSpaceRegion>(Super)) { in scan()
DSymbolManager.cpp436 if (isa<MemSpaceRegion>(MR)) in isLiveRegion()
DBugReporterVisitors.cpp435 const MemSpaceRegion *VarSpace = VR->getMemorySpace(); in isInitializationOfVar()
DRegionStore.cpp1743 const MemSpaceRegion *MS = R->getMemorySpace(); in getBindingForVar()
/external/clang/lib/StaticAnalyzer/Checkers/
DMallocChecker.cpp1000 const MemSpaceRegion *MS = R->getMemorySpace(); in FreeMemAux()
1157 const MemSpaceRegion *MS = MR->getMemorySpace(); in SummarizeRegion()