test/compiler/c2/Test6837094.java

*** 25,41 ****
  /**
   * @test
   * @bug 6837094
   * @summary False positive for "meet not symmetric" failure
   *
!  * @run main/othervm -Xbatch -XX:CompileOnly=Test.collectIs,Test$Factory$1.getArray,Test$Factory$2.getArray Test
   */
  
! import java.util.Set;
  import java.util.HashSet;
  
! public class Test {
  
    private interface Factory<M extends Interface> {
      Factory<Child0> Zero = new Factory<Child0>() {
        public Child0[] getArray() { return new Child0[1]; }
      };
--- 25,47 ----
  /**
   * @test
   * @bug 6837094
   * @summary False positive for "meet not symmetric" failure
   *
!  * @run main/othervm -Xbatch
!  *    -XX:CompileCommand=compileonly,compiler.c2.Test6837094::collectIs
!  *    -XX:CompileCommand=compileonly,compiler.c2.Test6837094$Factory$1::getArray
!  *    -XX:CompileCommand=compileonly,compiler.c2.Test6837094$Factory$2::getArray
!  *    compiler.c2.Test6837094
   */
  
! package compiler.c2;
! 
  import java.util.HashSet;
+ import java.util.Set;
  
! public class Test6837094 {
  
    private interface Factory<M extends Interface> {
      Factory<Child0> Zero = new Factory<Child0>() {
        public Child0[] getArray() { return new Child0[1]; }
      };
*** 70,94 ****
      for (int i = 0; i < 25000; i++) {
        collectIs(Factory.Zero, s);
        collectIs(Factory.One, s);
      }
    }
- }
  
! /**
   * Establish necessary class hierarchy
   */
  
! interface Interface {
! }
  
! class Parent {
! }
  
! class Child0 extends Parent implements Interface {
! }
  
! class Child1 extends Parent implements Interface {
! }
  
- class Child2 extends Parent implements Interface {
  }
--- 76,102 ----
      for (int i = 0; i < 25000; i++) {
        collectIs(Factory.Zero, s);
        collectIs(Factory.One, s);
      }
    }
  
!   /**
     * Establish necessary class hierarchy
     */
  
!   static interface Interface {
!   }
  
!   static class Parent {
!   }
  
!   static class Child0 extends Parent implements Interface {
!   }
  
!   static class Child1 extends Parent implements Interface {
!   }
! 
!   static class Child2 extends Parent implements Interface {
!   }
  
  }
+