| // 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.shaking; |
| |
| import com.android.tools.r8.TestBase; |
| import com.android.tools.r8.utils.AndroidApp; |
| import com.android.tools.r8.utils.codeinspector.ClassHierarchyVerifier; |
| import com.android.tools.r8.utils.codeinspector.CodeInspector; |
| import org.junit.Ignore; |
| import org.junit.Test; |
| |
| public class B115705526 extends TestBase { |
| |
| @Ignore("b/115705526") |
| @Test |
| public void test() throws Exception { |
| AndroidApp input = |
| readClasses( |
| B115705526TestClass.class, |
| B115705526TestClass.A.class, |
| B115705526TestClass.B.class, |
| B115705526TestClass.C.class, |
| B115705526TestClass.D.class); |
| AndroidApp output = |
| compileWithR8( |
| input, |
| keepMainProguardConfiguration(B115705526TestClass.class), |
| options -> { |
| options.enableClassInlining = false; |
| options.enableInlining = false; |
| options.enableMinification = false; |
| }); |
| CodeInspector inspector = new CodeInspector(output); |
| new ClassHierarchyVerifier(inspector).run(); |
| } |
| } |
| |
| class B115705526TestClass { |
| |
| public static void main(String[] args) { |
| C obj = new C(); |
| obj.bar(); |
| new D(); |
| } |
| |
| public abstract static class A { |
| |
| // Will be marked as targeted because the call in B.bar() resolves to "int A.foo()". |
| // Since it is targeted, class A will also have the method foo in the generated output. |
| public abstract int foo(); |
| } |
| |
| public abstract static class B extends A { |
| |
| public int bar() { |
| return foo(); |
| } |
| } |
| |
| public static class C extends B { |
| |
| public int foo() { |
| return 42; |
| } |
| } |
| |
| // Since D is non-abstract, and since method foo() is kept in A, class D should continue to |
| // implement method foo(). |
| public static class D extends A { |
| |
| @Override |
| public int foo() { |
| return 42; |
| } |
| } |
| } |