Searched refs:getSymbolicRegion (Results 1 – 5 of 5) sorted by relevance
104 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in getRegionValueSymbolVal()135 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in conjureSymbolVal()151 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in conjureSymbolVal()178 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in getMetadataSymbolVal()194 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in getDerivedRegionValueSymbolVal()
24 .getSymbolicRegion(Sym); in getLocFromSymbol()
938 const SymbolicRegion *MemRegionManager::getSymbolicRegion(SymbolRef sym) { in getSymbolicRegion() function in MemRegionManager
301 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in makeLoc()
1196 const SymbolicRegion* getSymbolicRegion(SymbolRef Sym);