Home
last modified time | relevance | path

Searched refs:GlobalsSpaceRegion (Results 1 – 6 of 6) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DRegions.def39 ABSTRACT_REGION(GlobalsSpaceRegion, MemSpaceRegion)
40 ABSTRACT_REGION(NonStaticGlobalSpaceRegion, GlobalsSpaceRegion)
DMemRegion.h216 class GlobalsSpaceRegion : public MemSpaceRegion {
219 GlobalsSpaceRegion(MemRegionManager *mgr, Kind k) in GlobalsSpaceRegion() function
233 class StaticGlobalSpaceRegion : public GlobalsSpaceRegion {
239 : GlobalsSpaceRegion(mgr, StaticGlobalSpaceRegionKind), CR(cr) {} in StaticGlobalSpaceRegion()
259 class NonStaticGlobalSpaceRegion : public GlobalsSpaceRegion {
262 : GlobalsSpaceRegion(mgr, k) {} in NonStaticGlobalSpaceRegion()
1162 const GlobalsSpaceRegion *getGlobalsRegion(
/external/clang/lib/StaticAnalyzer/Checkers/
DStackAddrEscapeChecker.cpp191 if (!isa<GlobalsSpaceRegion>(region->getMemorySpace())) in checkEndFunction()
DMallocChecker.cpp1575 if (isa<GlobalsSpaceRegion>(MS)) { in SummarizeRegion()
/external/clang/lib/StaticAnalyzer/Core/
DMemRegion.cpp423 void GlobalsSpaceRegion::anchor() { } in anchor()
744 const GlobalsSpaceRegion
1124 isa<GlobalsSpaceRegion>(MS); in hasGlobalsOrParametersStorage()
DRegionStore.cpp1195 const GlobalsSpaceRegion *GS = MRMgr.getGlobalsRegion(K); in invalidateGlobalRegion()
1847 if (isa<GlobalsSpaceRegion>(MS)) { in getBindingForVar()