// 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 NonNullAfterNullCheck {

  public static int foo(String arg) {
    if (arg != null) {
      return arg.contains("null") ? arg.hashCode() : 0;
    }
    return -1;
  }

  public static int bar(String arg) {
    if (arg == null) {
      return -1;
    } else {
      return arg.contains("null") ? arg.hashCode() : 0;
    }
  }

  public static int baz(String arg) {
    if (arg != null) {
      if (arg == null) {
        throw new AssertionError("Unreachable.");
      }
    }
    // not dominated by null check.
    return arg.hashCode();
  }

  public static void main(String[] args) {
    foo("non-null");
    bar("non-null");
    baz("non-null");
  }
}