Searched refs:UnknownSpaceRegion (Results 1 – 8 of 8) sorted by relevance
405 class UnknownSpaceRegion : public MemSpaceRegion {408 UnknownSpaceRegion(MemRegionManager &mgr) in UnknownSpaceRegion() function724 isa<UnknownSpaceRegion>(sreg)); in BlockDataRegion()821 assert(isa<UnknownSpaceRegion>(sreg) || isa<HeapSpaceRegion>(sreg) || in SymbolicRegion()989 isa<BlockDataRegion>(sReg) || isa<UnknownSpaceRegion>(sReg)); in VarRegion()1023 isa<BlockDataRegion>(sReg) || isa<UnknownSpaceRegion>(sReg)); in NonParamVarRegion()1450 UnknownSpaceRegion *unknown = nullptr;1489 const UnknownSpaceRegion *getUnknownRegion();
54 REGION(UnknownSpaceRegion, MemSpaceRegion)
118 } else if (isa<UnknownSpaceRegion>(Space)) { in CheckDispatchOnce()
596 if (!(isa<SymbolicRegion>(Reg) && isa<UnknownSpaceRegion>(Space))) { in performCheck()
2264 if (!R->hasMemorySpace<UnknownSpaceRegion, HeapSpaceRegion>(State)) { in FreeMemAux()
610 void UnknownSpaceRegion::dumpToStream(raw_ostream &os) const { in dumpToStream()973 const UnknownSpaceRegion *MemRegionManager::getUnknownRegion() { in getUnknownRegion()1391 if (!isa<UnknownSpaceRegion>(RawSpace)) in getMemorySpace()1403 assert(!isa<UnknownSpaceRegion>(Space)); in setMemorySpace()1406 assert(Base->hasMemorySpace<UnknownSpaceRegion>(State)); in setMemorySpace()
2373 if (isa<UnknownSpaceRegion>(MS)) in getBindingForVar()
7900 {"_ZN5clang4ento18UnknownSpaceRegionD1Ev", "clang::ento::UnknownSpaceRegion::~UnknownSpaceRegion()"…7901 {"_ZN5clang4ento18UnknownSpaceRegionD0Ev", "clang::ento::UnknownSpaceRegion::~UnknownSpaceRegion()"…26403 {"_ZTVN5clang4ento18UnknownSpaceRegionE", "vtable for clang::ento::UnknownSpaceRegion"},