src/test/java/com/android/tools/r8/softverification/TestInstanceOf.java

// Copyright (c) 2021, 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.softverification;

public class TestInstanceOf {

  public static Object getObject() {
    return new Object();
  }

  public static String run() {
    if (System.currentTimeMillis() == 0) {
      if (getObject() instanceof MissingClass) {
        throw new RuntimeException("Foo");
      }
    }
    if (System.currentTimeMillis() == 0) {
      if (getObject() instanceof MissingClass) {
        throw new RuntimeException("Foo");
      }
    }
    String currentString = "foobar";
    for (int i = 0; i < 10; i++) {
      currentString = "foobar" + (i + currentString.length());
    }
    return currentString;
  }
}