Searched refs:getSymbolicHeapRegion (Results 1 – 2 of 2) sorted by relevance
1486 const SymbolicRegion *getSymbolicHeapRegion(SymbolRef sym);
1210 const SymbolicRegion *MemRegionManager::getSymbolicHeapRegion(SymbolRef Sym) { in getSymbolicHeapRegion() function in MemRegionManager