Home | History | Annotate | Download | only in Core

Lines Matching refs:MemRegionVal

104     return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));
135     return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));
151     return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));
165   return loc::MemRegionVal(MemMgr.getSymbolicHeapRegion(sym));
178     return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));
194     return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));
200   return loc::MemRegionVal(MemMgr.getFunctionTextRegion(func));
211   return loc::MemRegionVal(BD);
215 loc::MemRegionVal SValBuilder::getCXXThis(const CXXMethodDecl *D,
217   return loc::MemRegionVal(getRegionManager().
222 loc::MemRegionVal SValBuilder::getCXXThis(const CXXRecordDecl *D,
226   return loc::MemRegionVal(getRegionManager().getCXXThisRegion(PT, SFC));
444         return R ? SVal(loc::MemRegionVal(R)) : UnknownVal();
484       return evalCastFromLoc(loc::MemRegionVal(R), castTy);
524     return R ? SVal(loc::MemRegionVal(R)) : UnknownVal();