reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
24 MemRegionManager &MRMgr = StMgr.getRegionManager(); 43 Store StInit = StMgr.getInitialStore(SFC).getStore(); 50 StMgr.Bind(StInit, LX0, Zero).getStore(); 51 ASSERT_EQ(Zero, StMgr.getBinding(StX0, LX0, ACtx.IntTy)); 55 StMgr.BindDefaultInitial(StInit, LY0.getAsRegion(), Zero).getStore(); 56 ASSERT_EQ(Zero, StMgr.getBinding(StY0, LY0, ACtx.IntTy)); 57 ASSERT_EQ(Zero, *StMgr.getDefaultBinding(StY0, LY0.getAsRegion())); 61 StMgr.BindDefaultZero(StInit, LZ0.getAsRegion()).getStore(); 65 ASSERT_EQ(Zero, StMgr.getBinding(StZ0, LZ0, ACtx.IntTy)); 66 ASSERT_EQ(NarrowZero, *StMgr.getDefaultBinding(StZ0, LZ0.getAsRegion())); 70 StMgr.Bind(StInit, LX1, One).getStore(); 71 ASSERT_EQ(One, StMgr.getBinding(StX1, LX1, ACtx.IntTy)); 75 StMgr.BindDefaultInitial(StInit, LY1.getAsRegion(), One).getStore(); 76 ASSERT_EQ(One, StMgr.getBinding(StY1, LY1, ACtx.IntTy)); 77 ASSERT_EQ(One, *StMgr.getDefaultBinding(StY1, LY1.getAsRegion()));