src/test/java/com/android/tools/r8/checkdiscarded/CheckAllMembersDiscardedTest.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.checkdiscarded;

import static com.android.tools.r8.DiagnosticsMatcher.diagnosticType;

import com.android.tools.r8.TestBase;
import com.android.tools.r8.TestParameters;
import com.android.tools.r8.errors.CheckDiscardDiagnostic;
import com.android.tools.r8.utils.BooleanUtils;
import com.android.tools.r8.utils.StringUtils;
import com.android.tools.r8.utils.codeinspector.AssertUtils;
import java.util.List;
import org.junit.Test;
import org.junit.runner.RunWith;
import org.junit.runners.Parameterized;
import org.junit.runners.Parameterized.Parameter;
import org.junit.runners.Parameterized.Parameters;

@RunWith(Parameterized.class)
public class CheckAllMembersDiscardedTest extends TestBase {

  @Parameter(0)
  public TestParameters parameters;

  @Parameter(1)
  public boolean shrinkMethodReferences;

  @Parameter(2)
  public boolean shrinkTypeReference;

  @Parameters(name = "{0}, shrink method references: {1}, shrink type reference: {2}")
  public static List<Object[]> parameters() {
    return buildParameters(
        getTestParameters().withAllRuntimesAndApiLevels().build(),
        BooleanUtils.values(),
        BooleanUtils.values());
  }

  @Test
  public void test() throws Exception {
    AssertUtils.assertFailsCompilationIf(
        !shrinkMethodReferences || !shrinkTypeReference,
        () ->
            testForR8(parameters.getBackend())
                .addInnerClasses(getClass())
                .addKeepMainRule(Main.class)
                .addKeepRules(
                    "-assumenosideeffects class " + Main.class.getTypeName() + " {",
                    "  static boolean shrinkMethodReferences() return "
                        + shrinkMethodReferences
                        + ";",
                    "  static boolean shrinkTypeReference() return " + shrinkTypeReference + ";",
                    "}",
                    // When all members on a class are marked by -checkdiscard, we interpret it as
                    // if the class should also be fully discarded.
                    getRuleForSecret("checkdiscard"),
                    getRuleForSecret("keep,allowshrinking"))
                .setMinApi(parameters.getApiLevel())
                .compileWithExpectedDiagnostics(
                    diagnostics -> {
                      if (shrinkMethodReferences && shrinkTypeReference) {
                        diagnostics.assertNoMessages();
                      } else {
                        diagnostics.assertErrorsMatch(diagnosticType(CheckDiscardDiagnostic.class));
                      }
                    })
                .run(parameters.getRuntime(), Main.class)
                .assertSuccessWithEmptyOutput());
  }

  private static String getRuleForSecret(String directive) {
    return StringUtils.joinLines(
        "-" + directive + " class " + Secret.class.getTypeName() + " {",
        "  void <init>();",
        "  static void foo();",
        "  static void bar();",
        "}");
  }

  static class Main {

    public static void main(String[] args) {
      if (!shrinkMethodReferences()) {
        Secret.foo();
        Secret.bar();
      }
      if (!shrinkTypeReference()) {
        System.out.println(Secret.class);
      }
    }

    static boolean shrinkMethodReferences() {
      throw new RuntimeException();
    }

    static boolean shrinkTypeReference() {
      throw new RuntimeException();
    }
  }

  static class Secret {

    static void foo() {
      System.out.println("Secret Foo");
    }

    static void bar() {
      System.out.println("Secret Bar");
    }
  }
}