Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/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.h59 class MemSpaceRegion; variable
127 [[nodiscard]] LLVM_ATTRIBUTE_RETURNS_NONNULL const MemSpaceRegion *
139 [[nodiscard]] LLVM_ATTRIBUTE_RETURNS_NONNULL const MemSpaceRegion *
156 setMemorySpace(ProgramStateRef State, const MemSpaceRegion *Space) const;
236 class MemSpaceRegion : public MemRegion {
240 MemSpaceRegion(MemRegionManager &mgr, Kind k) : MemRegion(k), Mgr(mgr) { in MemSpaceRegion() function
259 class CodeSpaceRegion : public MemSpaceRegion {
263 : MemSpaceRegion(mgr, CodeSpaceRegionKind) {} in CodeSpaceRegion()
273 class GlobalsSpaceRegion : public MemSpaceRegion {
277 GlobalsSpaceRegion(MemRegionManager &mgr, Kind k) : MemSpaceRegion(mgr, k) { in GlobalsSpaceRegion()
[all …]
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundChecker.cpp80 const MemSpaceRegion *Space;
355 static std::string getRegionName(const MemSpaceRegion *Space, in getRegionName()
391 static Messages getPrecedesMsgs(const MemSpaceRegion *Space, in getPrecedesMsgs()
422 static Messages getExceedsMsgs(ASTContext &ACtx, const MemSpaceRegion *Space, in getExceedsMsgs()
473 static Messages getTaintMsgs(const MemSpaceRegion *Space, in getTaintMsgs()
595 const MemSpaceRegion *Space = Reg->getMemorySpace(State); in performCheck()
H A DMacOSXAPIChecker.cpp76 const MemSpaceRegion *Space = R->getMemorySpace(C.getState()); in CheckDispatchOnce()
H A DStackAddrEscapeChecker.cpp377 static const MemSpaceRegion *getStackOrGlobalSpaceRegion(ProgramStateRef State, in getStackOrGlobalSpaceRegion()
407 const StringRef ReferrerMemorySpace = [](const MemSpaceRegion *Space) { in printReferrer()
H A DErrnoModeling.cpp116 const MemSpaceRegion *GlobalSystemSpace = in checkBeginFunction()
H A DMallocChecker.cpp2456 const MemSpaceRegion *MS = MR->getMemorySpace(State); in SummarizeRegion()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DMemRegion.cpp63 const MemSpaceRegion *) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
233 void MemSpaceRegion::Profile(llvm::FoldingSetNodeID &ID) const { in Profile()
1172 const MemSpaceRegion *sReg = nullptr; in getBlockDataRegion()
1203 const MemSpaceRegion *sReg = nullptr; in getCompoundLiteralRegion()
1251 const MemSpaceRegion *MemSpace) { in getSymbolicRegion()
1333 assert(Super && !isa<MemSpaceRegion>(Super)); in getCXXBaseObjectRegion()
1375 const MemSpaceRegion *MemRegion::getRawMemorySpace() const { in getRawMemorySpace()
1384 return cast<MemSpaceRegion>(R); in getRawMemorySpace()
1387 const MemSpaceRegion *MemRegion::getMemorySpace(ProgramStateRef State) const { in getMemorySpace()
1390 const MemSpaceRegion *RawSpace = MR->getRawMemorySpace(); in getMemorySpace()
[all …]
H A DProgramState.cpp631 if (isa<MemSpaceRegion>(R)) in scan()
653 if (isa<MemSpaceRegion>(Super)) { in scan()
H A DRegionStore.cpp253 if (isa<MemSpaceRegion>(L->first) && !isa<MemSpaceRegion>(R->first)) in printJson()
255 if (!isa<MemSpaceRegion>(L->first) && isa<MemSpaceRegion>(R->first)) in printJson()
1417 const MemSpaceRegion *MemSpace = Base->getRawMemorySpace(); in includeEntireMemorySpace()
2352 const MemSpaceRegion *MS = R->getRawMemorySpace(); in getBindingForVar()
H A DSimpleSValBuilder.cpp951 const MemSpaceRegion *LeftMS = LeftBase->getMemorySpace(state); in evalBinOpLL()
952 const MemSpaceRegion *RightMS = RightBase->getMemorySpace(state); in evalBinOpLL()
953 const MemSpaceRegion *UnknownMS = MemMgr.getUnknownRegion(); in evalBinOpLL()
H A DSymbolManager.cpp324 return isa<AllocaRegion, CXXThisRegion, MemSpaceRegion, CodeTextRegion>(MR); in isLiveRegion()
H A DExprEngine.cpp3619 const MemSpaceRegion *Space = MR ? MR->getMemorySpace(State) : nullptr; in processPointerEscapedOnBind()
/freebsd/contrib/llvm-project/llvm/include/llvm/Testing/Demangle/
H A DDemangleTestCases.inc7739 {"_ZNK5clang4ento14MemSpaceRegion7ProfileERN4llvm16FoldingSetNodeIDE", "clang::ento::MemSpaceRegion…
7834 {"_ZN5clang4ento14MemSpaceRegionD1Ev", "clang::ento::MemSpaceRegion::~MemSpaceRegion()"},
7835 {"_ZN5clang4ento14MemSpaceRegionD0Ev", "clang::ento::MemSpaceRegion::~MemSpaceRegion()"},
7836 {"_ZNK5clang4ento14MemSpaceRegion19getMemRegionManagerEv", "clang::ento::MemSpaceRegion::getMemRegi…
7837 {"_ZNK5clang4ento14MemSpaceRegion11isBoundableEv", "clang::ento::MemSpaceRegion::isBoundable() cons…
25254 {"_ZTVN5clang4ento14MemSpaceRegionE", "vtable for clang::ento::MemSpaceRegion"},