test/hotspot/jtreg/runtime/valhalla/valuetypes/verifier/VerifierValueTypes.java

*** 53,62 ****
--- 53,67 ----
                  throw new RuntimeException("Wrong ClassFormatError: " + e.getMessage());
              }
          }
      }
  
+     public static void runTestNoError(String test_name) throws Exception {
+         System.out.println("Testing: " + test_name);
+         Class newClass = Class.forName(test_name);
+     }
+ 
      public static void main(String[] args) throws Exception {
  
          // Test that a defaultvalue opcode with an out of bounds cp index causes a VerifyError.
          runTestVerifyError("defValBadCP", "Illegal constant pool index");
  
*** 96,112 ****
          runTestVerifyError("defValueObj", "Invalid type on operand stack in withfield instruction");
  
          // Test VerifyError is thrown if a withfield's class operand is not a value type.
          runTestVerifyError("withfieldObj", "Bad type on operand stack");
  
!         // Test that an array of value types is not assignable to [Ljava/lang/Object; (Non-covariance).
!         runTestVerifyError("NoArrayCov",
!             "Type '[QNoArrayCov;' (current frame, stack[1]) is not assignable to '[Ljava/lang/Object;'");
! 
!         // Test that an array of value types is not assignable to an array of interfaces (Non-covariance).
!         runTestVerifyError("NoArrayCovIntf",
!             "Type '[QNoArrayCovIntf;' (current frame, stack[1]) is not assignable to '[LII;'");
  
          // Test that null is not assignable to a value type.
          runTestVerifyError("NoNullVT",
              "Type null (current frame, stack[1]) is not assignable to 'QNoNullVT;'");
      }
--- 101,115 ----
          runTestVerifyError("defValueObj", "Invalid type on operand stack in withfield instruction");
  
          // Test VerifyError is thrown if a withfield's class operand is not a value type.
          runTestVerifyError("withfieldObj", "Bad type on operand stack");
  
!         // Test that an array of value types is assignable to [Ljava/lang/Object; (Covariance).
!         runTestNoError("NoArrayCov");
! 
!         // Test that an array of value types is assignable to an array of interfaces (Covariance).
!         runTestNoError("NoArrayCovIntf");
  
          // Test that null is not assignable to a value type.
          runTestVerifyError("NoNullVT",
              "Type null (current frame, stack[1]) is not assignable to 'QNoNullVT;'");
      }