Lines Matching refs:MemRegionVal
182 return loc::MemRegionVal(R); in computeObjectUnderConstruction()
288 return loc::MemRegionVal(MRMgr.getCXXStaticTempObjectRegion(E)); in computeObjectUnderConstruction()
291 return loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx)); in computeObjectUnderConstruction()
298 SVal Base = loc::MemRegionVal( in computeObjectUnderConstruction()
344 return loc::MemRegionVal(TVR); in computeObjectUnderConstruction()
376 return loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx)); in computeObjectUnderConstruction()
476 V = loc::MemRegionVal(EL->getSuperRegion()); in updateObjectsUnderConstruction()
639 Target = loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx)); in handleConstructor()
1013 Result = loc::MemRegionVal(EleReg); in VisitCXXNewExpr()
1119 SVal V = state->getSVal(loc::MemRegionVal(R)); in VisitCXXThisExpr()
1130 SVal V = loc::MemRegionVal(R); in VisitLambdaExpr()