1 /* 2 * Copyright (C) 2015 The Android Open Source Project 3 * 4 * Licensed under the Apache License, Version 2.0 (the "License"); 5 * you may not use this file except in compliance with the License. 6 * You may obtain a copy of the License at 7 * 8 * http://www.apache.org/licenses/LICENSE-2.0 9 * 10 * Unless required by applicable law or agreed to in writing, software 11 * distributed under the License is distributed on an "AS IS" BASIS, 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 13 * See the License for the specific language governing permissions and 14 * limitations under the License. 15 */ 16 17 import java.lang.reflect.Method; 18 19 public class Main { 20 21 class MyClassA {} 22 class MyClassB extends MyClassA {} 23 main(String[] args)24 public static void main(String[] args) throws Exception { 25 testReferenceTypePropagation(); 26 invokeTestInliner(); 27 } 28 29 // Reference type propagation (RTP) used to assume that if a class is final, 30 // then the type must be exact. This does not hold for arrays which are always 31 // final, i.e. not extendable, but may be assigned to from values of the 32 // components type subclasses. 33 testReferenceTypePropagation()34 public static void testReferenceTypePropagation() throws Exception { 35 boolean expectTrue; 36 37 // Bug #1: RTP would set the type of `array` to exact Object[]. Instruction 38 // simplifier would then simplify the instanceof to `false`. 39 Object[] array = $noinline$getArray(); 40 expectTrue = array instanceof MyClassA[]; 41 if (!expectTrue) { 42 throw new Exception("Incorrect type check."); 43 } 44 45 // Bug #2: This is the true-branch of the instanceof above. The bound type 46 // for `array` would be again set to exact MyClassA[] and incorrectly 47 // simplify the second instanceof to `false`. 48 expectTrue = array instanceof MyClassB[]; 49 if (!expectTrue) { 50 throw new Exception("Incorrect type bound."); 51 } 52 } 53 invokeTestInliner()54 public static void invokeTestInliner() throws Exception { 55 Class<?> c = Class.forName("TestCase"); 56 Method m = c.getMethod("testInliner"); 57 m.invoke(null); 58 } 59 $noinline$getArray()60 public static Object[] $noinline$getArray() { 61 if (doThrow) throw new Error(); 62 return new MyClassB[2]; 63 } 64 65 static boolean doThrow = false; 66 } 67