| # Copyright (c) 2017, 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. | |
| # Keep the application entry point. Get rid of everything that is not | |
| # reachable from there. | |
| -keep public class assumenosideeffects3.Assumenosideeffects { | |
| public static void main(...); | |
| } | |
| # Mark some methods to have no side effects. | |
| -assumenosideeffects public class assumenosideeffects3.Assumenosideeffects { | |
| public static int method0(...) return 1; | |
| public static int method1(...) return 0; | |
| public static long method0L(...) return 1; | |
| public static long method1L(...) return 0; | |
| } | |
| # Allow access modification to enable minification. | |
| -allowaccessmodification | |
| # Check that methods have been discarded. | |
| -checkdiscard class ** { | |
| @assumenosideeffects3.CheckDiscarded *; | |
| } |