reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
37 Loc LX0 = loc::MemRegionVal(MRMgr.getVarRegion(VDX0, SFC)); 38 Loc LY0 = loc::MemRegionVal(MRMgr.getVarRegion(VDY0, SFC)); 39 Loc LZ0 = loc::MemRegionVal(MRMgr.getVarRegion(VDZ0, SFC)); 40 Loc LX1 = loc::MemRegionVal(MRMgr.getVarRegion(VDX1, SFC)); 41 Loc LY1 = loc::MemRegionVal(MRMgr.getVarRegion(VDY1, SFC)); 43 Store StInit = StMgr.getInitialStore(SFC).getStore();