| // Copyright (c) 2018, the R8 project authors. Please see the AUTHORS file |
| // for details. All rights reserved. Use of this source code is governed by a |
| // BSD-style license that can be found in the LICENSE file. |
| package com.android.tools.r8.ir.optimize.nonnull; |
| |
| public class NonNullAfterArrayAccess { |
| |
| public static int foo(String[] arg) { |
| String first = arg[0]; |
| if (arg == null) { |
| throw new AssertionError("arg is not null."); |
| } |
| return arg.hashCode(); |
| } |
| |
| public static int bar(String[] arg) { |
| try { |
| String first = arg[0]; |
| if (arg == null) { |
| throw new AssertionError("arg is not null."); |
| } |
| } catch (NullPointerException npe) { |
| // Intentionally left blank |
| } |
| // As NPE is caught above, arg could be null. |
| return arg.hashCode(); |
| } |
| |
| public static int arrayLength(String[] arg) { |
| int length = arg.length; |
| if (arg == null) { |
| throw new AssertionError("arg is not null."); |
| } |
| return arg.hashCode() + length; |
| } |
| |
| public static void main(String[] args) { |
| String[] nonNullArgs = new String[1]; |
| nonNullArgs[0] = "non-null"; |
| foo(nonNullArgs); |
| bar(nonNullArgs); |
| arrayLength(nonNullArgs); |
| } |
| } |