1 /*
   2  * Copyright (c) 2018, 2019, Oracle and/or its affiliates. All rights reserved.
   3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
   4  *
   5  * This code is free software; you can redistribute it and/or modify it
   6  * under the terms of the GNU General Public License version 2 only, as
   7  * published by the Free Software Foundation.
   8  *
   9  * This code is distributed in the hope that it will be useful, but WITHOUT
  10  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
  11  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  12  * version 2 for more details (a copy is included in the LICENSE file that
  13  * accompanied this code).
  14  *
  15  * You should have received a copy of the GNU General Public License version
  16  * 2 along with this work; if not, write to the Free Software Foundation,
  17  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
  18  *
  19  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
  20  * or visit www.oracle.com if you need additional information or have any
  21  * questions.
  22  *
  23  */
  24 /*
  25  * @test
  26  * @summary test that the right exceptions get thrown for bad value type
  27  *          class files.
  28  * @compile verifierTests.jcod NoArrayCov.jcod NoArrayCovIntf.jcod NoNullVT.jcod
  29  * @run main/othervm -verify -XX:+EnableValhalla VerifierValueTypes
  30  */
  31 
  32 public class VerifierValueTypes {
  33 
  34     public static void runTestVerifyError(String test_name, String message) throws Exception {
  35         System.out.println("Testing: " + test_name);
  36         try {
  37             Class newClass = Class.forName(test_name);
  38             throw new RuntimeException("Expected VerifyError exception not thrown");
  39         } catch (java.lang.VerifyError e) {
  40             if (!e.getMessage().contains(message)) {
  41                 throw new RuntimeException("Wrong VerifyError: " + e.getMessage());
  42             }
  43         }
  44     }
  45 
  46     public static void runTestFormatError(String test_name, String message) throws Exception {
  47         System.out.println("Testing: " + test_name);
  48         try {
  49             Class newClass = Class.forName(test_name);
  50             throw new RuntimeException("Expected ClassFormatError exception not thrown");
  51         } catch (java.lang.ClassFormatError e) {
  52             if (!e.getMessage().contains(message)) {
  53                 throw new RuntimeException("Wrong ClassFormatError: " + e.getMessage());
  54             }
  55         }
  56     }
  57 
  58     public static void runTestNoError(String test_name) throws Exception {
  59         System.out.println("Testing: " + test_name);
  60         Class newClass = Class.forName(test_name);
  61     }
  62 
  63     public static void main(String[] args) throws Exception {
  64 
  65         // Test that a defaultvalue opcode with an out of bounds cp index causes a VerifyError.
  66         runTestVerifyError("defValBadCP", "Illegal constant pool index");
  67 
  68         // Test that ClassFormatError is thrown for a class file, with major version 54, that
  69         // contains a defaultvalue opcode.
  70         runTestFormatError("defValBadMajorVersion", "defaultvalue not supported by this class file version");
  71 
  72         // Test VerifyError is thrown if a defaultvalue's cp entry is not a class.
  73         runTestVerifyError("defValWrongCPType", "Illegal type at constant pool entry");
  74 
  75         // Test that a withfield opcode with an out of bounds cp index causes a VerifyError.
  76         runTestVerifyError("wthFldBadCP", "Illegal constant pool index");
  77 
  78         // Test that VerifyError is thrown if the first operand on the stack is not assignable
  79         // to withfield's field.
  80         runTestVerifyError("wthFldBadFldVal", "Bad type on operand stack");
  81 
  82         // Test that VerifyError is thrown if the second operand on the stack is a primitive.
  83         runTestVerifyError("wthFldBadFldRef", "Bad type on operand stack");
  84 
  85         // Test that ClassFormatError is thrown for a class file, with major version 54, that
  86         // contains a withfield opcode.
  87         runTestFormatError("wthFldBadMajorVersion", "withfield not supported by this class file version");
  88 
  89         // Test VerifyError is thrown if a withfields's cp entry is not a field.
  90         runTestVerifyError("wthFldWrongCPType", "Illegal type at constant pool entry");
  91 
  92         // Test that VerifyError is thrown if the class for a withfields's cp fieldref
  93         // entry is java.lang.Object and the reference on the stack is a value type.
  94         runTestVerifyError("wthFldObject", "must be identical value types");
  95 
  96         // Test VerifyError is thrown if a monitorenter's cp entry is a value type.
  97         runTestVerifyError("monEnterVT", "Bad type on operand stack");
  98 
  99         // Test VerifyError is thrown if a defaultvalue's cp entry is a value type.
 100         // TBD!!!
 101         runTestVerifyError("defValueObj", "Invalid type on operand stack in withfield instruction");
 102 
 103         // Test VerifyError is thrown if a withfield's class operand is not a value type.
 104         runTestVerifyError("withfieldObj", "Bad type on operand stack");
 105 
 106         // Test that an array of value types is assignable to [Ljava/lang/Object; (Covariance).
 107         runTestNoError("NoArrayCov");
 108 
 109         // Test that an array of value types is assignable to an array of interfaces (Covariance).
 110         runTestNoError("NoArrayCovIntf");
 111 
 112         // Test that null is not assignable to a value type.
 113         runTestVerifyError("NoNullVT",
 114             "Type null (current frame, stack[1]) is not assignable to 'QNoNullVT;'");
 115     }
 116 }