Searched refs:getSymbolicRegion (Results 1 – 5 of 5) sorted by relevance
107 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in getRegionValueSymbolVal()144 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in conjureSymbolVal()163 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in conjureSymbolVal()192 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in getMetadataSymbolVal()211 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in getDerivedRegionValueSymbolVal()
24 .getSymbolicRegion(Sym); in getLocFromSymbol()
941 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);