test/hotspot/jtreg/runtime/valhalla/valuetypes/verifier/NoArrayCov.jcod

*** 1,7 ****
  /*
!  * Copyright (c) 2018, Oracle and/or its affiliates. All rights reserved.
   * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
   *
   * This code is free software; you can redistribute it and/or modify it
   * under the terms of the GNU General Public License version 2 only, as
   * published by the Free Software Foundation.
--- 1,7 ----
  /*
!  * Copyright (c) 2018, 2019, Oracle and/or its affiliates. All rights reserved.
   * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
   *
   * This code is free software; you can redistribute it and/or modify it
   * under the terms of the GNU General Public License version 2 only, as
   * published by the Free Software Foundation.
*** 20,30 ****
   * or visit www.oracle.com if you need additional information or have any
   * questions.
   *
   */
  
! // Test that a VerifyError exception is thrown when trying to pass a value
  // type array when the formal parameter is an array of java.lang.Object.
  //
  // // Java program emulating the jcod contents.
  // public value final class NoArrayCov {
  //     final int x;
--- 20,30 ----
   * or visit www.oracle.com if you need additional information or have any
   * questions.
   *
   */
  
! // Test that a VerifyError exception is not thrown when trying to pass a value
  // type array when the formal parameter is an array of java.lang.Object.
  //
  // // Java program emulating the jcod contents.
  // public value final class NoArrayCov {
  //     final int x;
*** 57,67 ****
  //         NoArrayCov a = createNoArrayCov(3, 4);
  //         NoArrayCov b = createNoArrayCov(2, 4);
  //         NoArrayCov pa[] = new NoArrayCov[2];
  //         pa[0] = a;
  //         pa[1] = b;
! //         a.objArray(pa); // Should cause VerifyError exception !!!
  //     }
  // }
  
  class NoArrayCov {
    0xCAFEBABE;
--- 57,67 ----
  //         NoArrayCov a = createNoArrayCov(3, 4);
  //         NoArrayCov b = createNoArrayCov(2, 4);
  //         NoArrayCov pa[] = new NoArrayCov[2];
  //         pa[0] = a;
  //         pa[1] = b;
! //         a.objArray(pa); // Should not cause VerifyError exception !!!
  //     }
  // }
  
  class NoArrayCov {
    0xCAFEBABE;