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 public class Main { main(String[] args)18 public static void main(String[] args) { 19 testWithNull(new Object[2]); 20 testWithUnknown(new Object[2], new Object()); 21 testWithSame(new Object[2]); 22 } 23 24 /// CHECK-START: void Main.testWithNull(java.lang.Object[]) disassembly (after) 25 /// CHECK: ArraySet needs_type_check:false testWithNull(Object[] o)26 public static void testWithNull(Object[] o) { 27 o[0] = null; 28 } 29 30 /// CHECK-START: void Main.testWithUnknown(java.lang.Object[], java.lang.Object) disassembly (after) 31 /// CHECK: ArraySet needs_type_check:true testWithUnknown(Object[] o, Object obj)32 public static void testWithUnknown(Object[] o, Object obj) { 33 o[0] = obj; 34 } 35 36 /// CHECK-START: void Main.testWithSame(java.lang.Object[]) disassembly (after) 37 /// CHECK: ArraySet needs_type_check:false testWithSame(Object[] o)38 public static void testWithSame(Object[] o) { 39 o[0] = o[1]; 40 } 41 } 42