Lines Matching refs:SymbolicRegion

321 void SymbolicRegion::ProfileRegion(llvm::FoldingSetNodeID& ID, SymbolRef sym,  in ProfileRegion()
328 void SymbolicRegion::Profile(llvm::FoldingSetNodeID& ID) const {  in Profile()
329   SymbolicRegion::ProfileRegion(ID, sym, getSuperRegion());  in Profile()
524 void SymbolicRegion::dumpToStream(raw_ostream &os) const {  in dumpToStream()
1152 const SymbolicRegion *
1157   return getSubRegion<SymbolicRegion>(sym, MemSpace);  in getSymbolicRegion()
1160 const SymbolicRegion *MemRegionManager::getSymbolicHeapRegion(SymbolRef Sym) {  in getSymbolicHeapRegion()
1161   return getSubRegion<SymbolicRegion>(Sym, getHeapRegion());  in getSymbolicHeapRegion()
1350 const SymbolicRegion *MemRegion::getSymbolicBase() const {  in getSymbolicBase()
1354     if (const auto *SymR = dyn_cast<SymbolicRegion>(SubR))  in getSymbolicBase()
1481       } else if (const auto *SR = dyn_cast<SymbolicRegion>(R)) {  in calculateOffset()
1725   if (const auto *SR = dyn_cast<SymbolicRegion>(MR))  in setTrait()
1745   if (const auto *SR = dyn_cast<SymbolicRegion>(MR))  in hasTrait()