Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DRegions.def36 ABSTRACT_REGION(MemSpaceRegion, MemRegion)
37 REGION(CodeSpaceRegion, MemSpaceRegion)
38 ABSTRACT_REGION(GlobalsSpaceRegion, MemSpaceRegion)
45 REGION(StaticGlobalSpaceRegion, MemSpaceRegion)
48 REGION(HeapSpaceRegion, MemSpaceRegion)
49 ABSTRACT_REGION(StackSpaceRegion, MemSpaceRegion)
54 REGION(UnknownSpaceRegion, MemSpaceRegion)
H A DMemRegion.h56 class MemSpaceRegion; variable
204 class MemSpaceRegion : public MemRegion {
227 class CodeSpaceRegion : public MemSpaceRegion {
231 : MemSpaceRegion(mgr, CodeSpaceRegionKind) {} in CodeSpaceRegion()
241 class GlobalsSpaceRegion : public MemSpaceRegion {
359 class HeapSpaceRegion : public MemSpaceRegion {
363 : MemSpaceRegion(mgr, HeapSpaceRegionKind) {} in HeapSpaceRegion()
373 class UnknownSpaceRegion : public MemSpaceRegion {
387 class StackSpaceRegion : public MemSpaceRegion {
394 : MemSpaceRegion(mgr, k), SFC(sfc) { in StackSpaceRegion()
[all …]
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/cert/
H A DPutenvWithAutoChecker.cpp47 const MemSpaceRegion *MSR = ArgV.getAsRegion()->getMemorySpace(); in checkPostCall()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DMemRegion.cpp214 void MemSpaceRegion::Profile(llvm::FoldingSetNodeID &ID) const { in Profile()
1072 const MemSpaceRegion *sReg = nullptr; in getBlockDataRegion()
1105 const MemSpaceRegion *sReg = nullptr; in getCompoundLiteralRegion()
1154 const MemSpaceRegion *MemSpace) { in getSymbolicRegion()
1219 assert(Super && !isa<MemSpaceRegion>(Super)); in getCXXBaseObjectRegion()
1261 const MemSpaceRegion *MemRegion::getMemorySpace() const { in getMemorySpace()
1270 return dyn_cast<MemSpaceRegion>(R); in getMemorySpace()
H A DProgramState.cpp603 if (isa<MemSpaceRegion>(R)) in scan()
625 if (isa<MemSpaceRegion>(Super)) { in scan()
H A DSimpleSValBuilder.cpp921 const MemSpaceRegion *LeftMS = LeftBase->getMemorySpace(); in evalBinOpLL()
922 const MemSpaceRegion *RightMS = RightBase->getMemorySpace(); in evalBinOpLL()
923 const MemSpaceRegion *UnknownMS = MemMgr.getUnknownRegion(); in evalBinOpLL()
H A DSymbolManager.cpp454 return isa<AllocaRegion, CXXThisRegion, MemSpaceRegion, CodeTextRegion>(MR); in isLiveRegion()
H A DRegionStore.cpp1254 const MemSpaceRegion *MemSpace = Base->getMemorySpace(); in includeEntireMemorySpace()
2201 const MemSpaceRegion *MS = R->getMemorySpace(); in getBindingForVar()
H A DBugReporterVisitors.cpp1255 const MemSpaceRegion *VarSpace = VR->getMemorySpace(); in isInitializationOfVar()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DMacOSXAPIChecker.cpp78 const MemSpaceRegion *RS = RB->getMemorySpace(); in CheckDispatchOnce()
H A DErrnoModeling.cpp159 const MemSpaceRegion *GlobalSystemSpace = in checkBeginFunction()
H A DArrayBoundCheckerV2.cpp73 const MemSpaceRegion *SR = region->getMemorySpace(); in computeExtentBegin()
H A DStackAddrEscapeChecker.cpp398 const StringRef ReferrerMemorySpace = [](const MemSpaceRegion *Space) { in checkEndFunction()
H A DMallocChecker.cpp1964 const MemSpaceRegion *MS = R->getMemorySpace(); in FreeMemAux()
2155 const MemSpaceRegion *MS = MR->getMemorySpace(); in SummarizeRegion()