Home
last modified time | relevance | path

Searched refs:NonStaticGlobalSpaceRegion (Results 1 – 3 of 3) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DMemRegion.h230 class NonStaticGlobalSpaceRegion : public GlobalsSpaceRegion {
234 NonStaticGlobalSpaceRegion(MemRegionManager *mgr, Kind k) in NonStaticGlobalSpaceRegion() function
250 class GlobalSystemSpaceRegion : public NonStaticGlobalSpaceRegion {
254 : NonStaticGlobalSpaceRegion(mgr, GlobalSystemSpaceRegionKind) {} in GlobalSystemSpaceRegion()
270 class GlobalImmutableSpaceRegion : public NonStaticGlobalSpaceRegion {
274 : NonStaticGlobalSpaceRegion(mgr, GlobalImmutableSpaceRegionKind) {} in GlobalImmutableSpaceRegion()
288 class GlobalInternalSpaceRegion : public NonStaticGlobalSpaceRegion {
292 : NonStaticGlobalSpaceRegion(mgr, GlobalInternalSpaceRegionKind) {} in GlobalInternalSpaceRegion()
/external/clang/lib/StaticAnalyzer/Core/
DRegionStore.cpp541 if (isa<NonStaticGlobalSpaceRegion>(R->getMemorySpace())) in GenerateClusters()
729 isa<NonStaticGlobalSpaceRegion>(baseR->getMemorySpace())) { in VisitBaseRegion()
1376 if (isa<NonStaticGlobalSpaceRegion>(MS)) { in getBindingForVar()
1820 if (isa<NonStaticGlobalSpaceRegion>(baseR)) { in VisitAddedToCluster()
DMemRegion.cpp521 void NonStaticGlobalSpaceRegion::dumpToStream(raw_ostream &os) const { in dumpToStream()