reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
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()));