*** old/test/compiler/stable/TestStableByte.java	Mon Feb 29 15:42:34 2016
--- new/test/compiler/stable/TestStableByte.java	Mon Feb 29 15:42:34 2016

*** 86,96 ****
--- 86,95 ----
  
  import java.lang.reflect.InvocationTargetException;
  
  public class TestStableByte {
      static final boolean isStableEnabled    = StableConfiguration.isStableEnabled;
      static final boolean isServerWithStable = StableConfiguration.isServerWithStable;
  
      public static void main(String[] args) throws Exception {
          run(DefaultValue.class);
          run(ByteStable.class);
          run(DefaultStaticValue.class);

*** 207,231 ****
--- 206,230 ----
          public static void test() throws Exception {
              {
                  c.v = new byte[1]; c.v[0] = 1; byte val1 = get();
                                     c.v[0] = 2; byte val2 = get();
                  assertEquals(val1, 1);
!                 assertEquals(val2, (isServerWithStable ? 1 : 2));
!                 assertEquals(val2, (isStableEnabled ? 1 : 2));
  
                  c.v = new byte[1]; c.v[0] = 3; byte val3 = get();
!                 assertEquals(val3, (isStableEnabled ? (isServerWithStable ? 1 : 2)
!                 assertEquals(val3, (isStableEnabled ? (isStableEnabled ? 1 : 2)
                                                      : 3));
              }
  
              {
                  c.v = new byte[20]; c.v[10] = 1; byte val1 = get1();
                                      c.v[10] = 2; byte val2 = get1();
                  assertEquals(val1, 1);
!                 assertEquals(val2, (isServerWithStable ? 1 : 2));
!                 assertEquals(val2, (isStableEnabled ? 1 : 2));
  
                  c.v = new byte[20]; c.v[10] = 3; byte val3 = get1();
!                 assertEquals(val3, (isStableEnabled ? (isServerWithStable ? 1 : 2)
!                 assertEquals(val3, (isStableEnabled ? (isStableEnabled ? 1 : 2)
                                                      : 3));
              }
  
              {
                  c.v = new byte[1]; byte[] val1 = get2();

*** 247,271 ****
--- 246,270 ----
          public static void test() throws Exception {
              {
                  c.v = new byte[1][1]; c.v[0][0] = 1; byte val1 = get();
                                        c.v[0][0] = 2; byte val2 = get();
                  assertEquals(val1, 1);
!                 assertEquals(val2, (isServerWithStable ? 1 : 2));
!                 assertEquals(val2, (isStableEnabled ? 1 : 2));
  
                  c.v = new byte[1][1]; c.v[0][0] = 3; byte val3 = get();
!                 assertEquals(val3, (isStableEnabled ? (isServerWithStable ? 1 : 2)
!                 assertEquals(val3, (isStableEnabled ? (isStableEnabled ? 1 : 2)
                                                      : 3));
  
                  c.v[0] = new byte[1]; c.v[0][0] = 4; byte val4 = get();
!                 assertEquals(val4, (isStableEnabled ? (isServerWithStable ? 1 : 2)
!                 assertEquals(val4, (isStableEnabled ? (isStableEnabled ? 1 : 2)
                                                      : 4));
              }
  
              {
                  c.v = new byte[1][1]; byte[] val1 = get1();
                  c.v[0] = new byte[1]; byte[] val2 = get1();
!                 assertTrue((isServerWithStable ? (val1 == val2) : (val1 != val2)));
!                 assertTrue((isStableEnabled ? (val1 == val2) : (val1 != val2)));
              }
  
              {
                  c.v = new byte[1][1]; byte[][] val1 = get2();
                  c.v = new byte[1][1]; byte[][] val2 = get2();

*** 287,321 ****
--- 286,320 ----
          public static void test() throws Exception {
              {
                  c.v = new byte[1][1][1]; c.v[0][0][0] = 1; byte val1 = get();
                                           c.v[0][0][0] = 2; byte val2 = get();
                  assertEquals(val1, 1);
!                 assertEquals(val2, (isServerWithStable ? 1 : 2));
!                 assertEquals(val2, (isStableEnabled ? 1 : 2));
  
                  c.v = new byte[1][1][1]; c.v[0][0][0] = 3; byte val3 = get();
!                 assertEquals(val3, (isStableEnabled ? (isServerWithStable ? 1 : 2)
!                 assertEquals(val3, (isStableEnabled ? (isStableEnabled ? 1 : 2)
                                                      : 3));
  
                  c.v[0] = new byte[1][1]; c.v[0][0][0] = 4; byte val4 = get();
!                 assertEquals(val4, (isStableEnabled ? (isServerWithStable ? 1 : 2)
!                 assertEquals(val4, (isStableEnabled ? (isStableEnabled ? 1 : 2)
                                                      : 4));
  
                  c.v[0][0] = new byte[1]; c.v[0][0][0] = 5; byte val5 = get();
!                 assertEquals(val5, (isStableEnabled ? (isServerWithStable ? 1 : 2)
!                 assertEquals(val5, (isStableEnabled ? (isStableEnabled ? 1 : 2)
                                                      : 5));
              }
  
              {
                  c.v = new byte[1][1][1]; byte[] val1 = get1();
                  c.v[0][0] = new byte[1]; byte[] val2 = get1();
!                 assertTrue((isServerWithStable ? (val1 == val2) : (val1 != val2)));
!                 assertTrue((isStableEnabled ? (val1 == val2) : (val1 != val2)));
              }
  
              {
                  c.v = new byte[1][1][1]; byte[][] val1 = get2();
                  c.v[0] = new byte[1][1]; byte[][] val2 = get2();
!                 assertTrue((isServerWithStable ? (val1 == val2) : (val1 != val2)));
!                 assertTrue((isStableEnabled ? (val1 == val2) : (val1 != val2)));
              }
  
              {
                  c.v = new byte[1][1][1]; byte[][][] val1 = get3();
                  c.v = new byte[1][1][1]; byte[][][] val2 = get3();

*** 338,382 ****
--- 337,381 ----
          public static void test() throws Exception {
              {
                  c.v = new byte[1][1][1][1]; c.v[0][0][0][0] = 1; byte val1 = get();
                                              c.v[0][0][0][0] = 2; byte val2 = get();
                  assertEquals(val1, 1);
!                 assertEquals(val2, (isServerWithStable ? 1 : 2));
!                 assertEquals(val2, (isStableEnabled ? 1 : 2));
  
                  c.v = new byte[1][1][1][1]; c.v[0][0][0][0] = 3; byte val3 = get();
!                 assertEquals(val3, (isStableEnabled ? (isServerWithStable ? 1 : 2)
!                 assertEquals(val3, (isStableEnabled ? (isStableEnabled ? 1 : 2)
                                                      : 3));
  
                  c.v[0] = new byte[1][1][1]; c.v[0][0][0][0] = 4; byte val4 = get();
!                 assertEquals(val4, (isStableEnabled ? (isServerWithStable ? 1 : 2)
!                 assertEquals(val4, (isStableEnabled ? (isStableEnabled ? 1 : 2)
                                                      : 4));
  
                  c.v[0][0] = new byte[1][1]; c.v[0][0][0][0] = 5; byte val5 = get();
!                 assertEquals(val5, (isStableEnabled ? (isServerWithStable ? 1 : 2)
!                 assertEquals(val5, (isStableEnabled ? (isStableEnabled ? 1 : 2)
                                                      : 5));
  
                  c.v[0][0][0] = new byte[1]; c.v[0][0][0][0] = 6; byte val6 = get();
!                 assertEquals(val6, (isStableEnabled ? (isServerWithStable ? 1 : 2)
!                 assertEquals(val6, (isStableEnabled ? (isStableEnabled ? 1 : 2)
                                                      : 6));
              }
  
              {
                  c.v = new byte[1][1][1][1]; byte[] val1 = get1();
                  c.v[0][0][0] = new byte[1]; byte[] val2 = get1();
!                 assertTrue((isServerWithStable ? (val1 == val2) : (val1 != val2)));
!                 assertTrue((isStableEnabled ? (val1 == val2) : (val1 != val2)));
              }
  
              {
                  c.v = new byte[1][1][1][1]; byte[][] val1 = get2();
                  c.v[0][0] = new byte[1][1]; byte[][] val2 = get2();
!                 assertTrue((isServerWithStable ? (val1 == val2) : (val1 != val2)));
!                 assertTrue((isStableEnabled ? (val1 == val2) : (val1 != val2)));
              }
  
              {
                  c.v = new byte[1][1][1][1]; byte[][][] val1 = get3();
                  c.v[0] = new byte[1][1][1]; byte[][][] val2 = get3();
!                 assertTrue((isServerWithStable ? (val1 == val2) : (val1 != val2)));
!                 assertTrue((isStableEnabled ? (val1 == val2) : (val1 != val2)));
              }
  
              {
                  c.v = new byte[1][1][1][1]; byte[][][][] val1 = get4();
                  c.v = new byte[1][1][1][1]; byte[][][][] val2 = get4();

*** 434,444 ****
--- 433,443 ----
  
              {
                  c.v = new byte[1][1]; c.v[0] = new byte[0]; byte[] val1 = get1();
                                       c.v[0] = new byte[0]; byte[] val2 = get1();
  
!                 assertTrue((isServerWithStable ? (val1 == val2) : (val1 != val2)));
!                 assertTrue((isStableEnabled ? (val1 == val2) : (val1 != val2)));
              }
  
              {
                  c.v = new byte[0][0]; Object[] val1 = get2();
                  c.v = new byte[0][0]; Object[] val2 = get2();

*** 470,487 ****
--- 469,486 ----
  
              {
                  c.v = new byte[1][1][1]; c.v[0][0] = new byte[0]; byte[] val1 = get1();
                                           c.v[0][0] = new byte[0]; byte[] val2 = get1();
  
!                 assertTrue((isServerWithStable ? (val1 == val2) : (val1 != val2)));
!                 assertTrue((isStableEnabled ? (val1 == val2) : (val1 != val2)));
              }
  
              {
                  c.v = new byte[1][1][1]; c.v[0] = new byte[0][0]; byte[][] val1 = get2();
                                           c.v[0] = new byte[0][0]; byte[][] val2 = get2();
  
!                 assertTrue((isServerWithStable ? (val1 == val2) : (val1 != val2)));
!                 assertTrue((isStableEnabled ? (val1 == val2) : (val1 != val2)));
              }
  
              {
                  c.v = new byte[0][0][0]; Object[][] val1 = get3();
                  c.v = new byte[0][0][0]; Object[][] val2 = get3();

*** 612,622 ****
--- 611,621 ----
                  c.v = new A[] { elem, elem }; c.v[0].left = c.v[0].right = c.v;
                                 elem.a = 1; byte val1 = get(); byte val2 = get1();
                                 elem.a = 2; byte val3 = get(); byte val4 = get1();
  
                  assertEquals(val1, 1);
!                 assertEquals(val3, (isServerWithStable ? 1 : 2));
!                 assertEquals(val3, (isStableEnabled ? 1 : 2));
  
                  assertEquals(val2, 1);
                  assertEquals(val4, 2);
              }
          }