Searched refs:getSymbolicRegion (Results 1 – 4 of 4) sorted by relevance
104 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in getRegionValueSymbolVal()130 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in getConjuredSymbolVal()147 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in getConjuredSymbolVal()162 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in getMetadataSymbolVal()178 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in getDerivedRegionValueSymbolVal()
799 const SymbolicRegion *MemRegionManager::getSymbolicRegion(SymbolRef sym) { in getSymbolicRegion() function in MemRegionManager
295 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in makeLoc()
1110 const SymbolicRegion* getSymbolicRegion(SymbolRef sym);