Searched refs:MRManager (Results 1 – 1 of 1) sorted by relevance
46 MemRegionManager &MRManager = SManager.getRegionManager(); in performTest() local60 Loc LX0 = loc::MemRegionVal(MRManager.getVarRegion(VDX0, SFC)); in performTest()61 Loc LY0 = loc::MemRegionVal(MRManager.getVarRegion(VDY0, SFC)); in performTest()62 Loc LZ0 = loc::MemRegionVal(MRManager.getVarRegion(VDZ0, SFC)); in performTest()63 Loc LX1 = loc::MemRegionVal(MRManager.getVarRegion(VDX1, SFC)); in performTest()64 Loc LY1 = loc::MemRegionVal(MRManager.getVarRegion(VDY1, SFC)); in performTest()114 MemRegionManager &MRManager = SManager.getRegionManager(); in performTest() local127 const SubRegion *CLRegion = MRManager.getCompoundLiteralRegion(CL, SFC); in performTest()132 MRManager.getElementRegion(ASTCtxt.IntTy, Zero, CLRegion, ASTCtxt)); in performTest()