DeadCode.java revision 2942:08092deced3f 
1/*
2 * Copyright (c) 2009, 2015, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation.
8 *
9 * This code is distributed in the hope that it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 */
23
24import java.lang.annotation.*;
25import java.io.*;
26import java.net.URL;
27import java.util.List;
28
29import com.sun.tools.classfile.*;
30
31/*
32 * @test
33 * @bug 6917130 8006775
34 * @summary test that optimized away annotations are not emited to classfile
35 * @modules jdk.jdeps/com.sun.tools.classfile
36 */
37
38public class DeadCode extends ClassfileTestHelper {
39    public static void main(String[] args) throws Exception {
40        new DeadCode().run();
41    }
42
43    public void run() throws Exception {
44        expected_tinvisibles = 1;
45        expected_tvisibles = 0;
46
47        ClassFile cf = getClassFile("DeadCode$Test.class");
48        test(cf);
49        for (Field f : cf.fields) {
50            test(cf, f);
51        }
52        for (Method m: cf.methods) {
53            test(cf, m, true);
54        }
55
56        countAnnotations();
57
58        if (errors > 0)
59            throw new Exception(errors + " errors found");
60        System.out.println("PASSED");
61    }
62
63    /*********************** Test class *************************/
64    static class Test {
65        @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
66        @interface A {}
67
68        void test() {
69            List<? extends @A Object> o = null;
70            o.toString();
71
72            @A String m;
73            if (false) {
74                @A String a;
75                @A String b = "m";
76                b.toString();
77                List<? extends @A Object> c = null;
78                c.toString();
79            }
80        }
81    }
82
83}
84