Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DRegions.def38 ABSTRACT_REGION(GlobalsSpaceRegion, MemSpaceRegion)
39 ABSTRACT_REGION(NonStaticGlobalSpaceRegion, GlobalsSpaceRegion)
H A DMemRegion.h245 class GlobalsSpaceRegion : public MemSpaceRegion {
249 GlobalsSpaceRegion(MemRegionManager &mgr, Kind k) : MemSpaceRegion(mgr, k) { in GlobalsSpaceRegion() function
265 class StaticGlobalSpaceRegion : public GlobalsSpaceRegion {
271 : GlobalsSpaceRegion(mgr, StaticGlobalSpaceRegionKind), CR(cr) { in StaticGlobalSpaceRegion()
294 class NonStaticGlobalSpaceRegion : public GlobalsSpaceRegion {
299 : GlobalsSpaceRegion(mgr, k) { in NonStaticGlobalSpaceRegion()
960 assert(isa<GlobalsSpaceRegion>(sReg) || isa<StackSpaceRegion>(sReg) || in VarRegion()
994 assert(isa<GlobalsSpaceRegion>(sReg) || isa<StackSpaceRegion>(sReg) || in NonParamVarRegion()
1451 const GlobalsSpaceRegion *getGlobalsRegion(
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DMemRegion.cpp447 void GlobalsSpaceRegion::anchor() {} in anchor()
925 const GlobalsSpaceRegion
H A DRegionStore.cpp1264 const GlobalsSpaceRegion *GS = MRMgr.getGlobalsRegion(K); in invalidateGlobalRegion()
2217 if (isa<GlobalsSpaceRegion>(MS)) { in getBindingForVar()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DMallocChecker.cpp2231 if (isa<GlobalsSpaceRegion>(MS)) { in SummarizeRegion()