Searched refs:MemSpace (Results 1 – 5 of 5) sorted by relevance
131 template <class MemSpace>132 [[nodiscard]] const MemSpace *getRawMemorySpaceAs() const { in getRawMemorySpaceAs()133 return dyn_cast<MemSpace>(getRawMemorySpace()); in getRawMemorySpaceAs()142 template <class MemSpace>143 [[nodiscard]] const MemSpace *getMemorySpaceAs(ProgramStateRef State) const { in getMemorySpaceAs()144 return dyn_cast<MemSpace>(getMemorySpace(State)); in getMemorySpaceAs()1511 getSymbolicRegion(SymbolRef Sym, const MemSpaceRegion *MemSpace = nullptr);
380 if (const auto *MemSpace = R->getMemorySpace(State); in getStackOrGlobalSpaceRegion() local381 isa<StackSpaceRegion, GlobalsSpaceRegion>(MemSpace)) in getStackOrGlobalSpaceRegion()382 return MemSpace; in getStackOrGlobalSpaceRegion()
1251 const MemSpaceRegion *MemSpace) { in getSymbolicRegion() argument1252 if (MemSpace == nullptr) in getSymbolicRegion()1253 MemSpace = getUnknownRegion(); in getSymbolicRegion()1254 return getSubRegion<SymbolicRegion>(sym, MemSpace); in getSymbolicRegion()
1417 const MemSpaceRegion *MemSpace = Base->getRawMemorySpace(); in includeEntireMemorySpace() local1418 return ITraits.hasTrait(MemSpace, in includeEntireMemorySpace()
1206 using MemSpace = E;1211 std::tuple<OPT(MemSpace), OPT(TraitsArray), Allocator> t;