Lines Matching refs:MemRegionVal

153     return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));  in getRegionValueSymbolVal()
190     return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));  in conjureSymbolVal()
208     return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));  in conjureSymbolVal()
231   return loc::MemRegionVal(MemMgr.getSymbolicHeapRegion(sym));  in getConjuredHeapSymbolVal()
245     return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));  in getMetadataSymbolVal()
264     return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));  in getDerivedRegionValueSymbolVal()
286   return loc::MemRegionVal(MemMgr.getFunctionCodeRegion(func));  in getFunctionPointer()
297   return loc::MemRegionVal(BD);  in getBlockPointer()
300 Optional<loc::MemRegionVal>
303     return loc::MemRegionVal(*OptR);  in getCastedMemRegionVal()
308 loc::MemRegionVal SValBuilder::getCXXThis(const CXXMethodDecl *D,  in getCXXThis()
310   return loc::MemRegionVal(  in getCXXThis()
315 loc::MemRegionVal SValBuilder::getCXXThis(const CXXRecordDecl *D,  in getCXXThis()
319   return loc::MemRegionVal(getRegionManager().getCXXThisRegion(PT, SFC));  in getCXXThis()
711   SVal VisitLocMemRegionVal(loc::MemRegionVal V) {  in VisitLocMemRegionVal()
908         return VisitLocMemRegionVal(loc::MemRegionVal(R));  in VisitNonLocLocAsInteger()
922           return VisitLocMemRegionVal(loc::MemRegionVal(R));  in VisitNonLocLocAsInteger()