Searched refs:getSymbolicRegion (Results 1 – 5 of 5) sorted by relevance
104 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in getRegionValueSymbolVal()128 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in conjureSymbolVal()144 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in conjureSymbolVal()171 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in getMetadataSymbolVal()187 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in getDerivedRegionValueSymbolVal()
25 .getSymbolicRegion(Sym); in getLocFromSymbol()
860 const SymbolicRegion *MemRegionManager::getSymbolicRegion(SymbolRef sym) { in getSymbolicRegion() function in MemRegionManager
294 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in makeLoc()
1155 const SymbolicRegion* getSymbolicRegion(SymbolRef Sym);