1 /*
2 * Copyright (c) 2011, 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
24 /*
25 * @test
26 * @bug 7093325 8006694 8129962
27 * @summary Redundant entry in bytecode exception table
28 * temporarily workaround combo tests are causing time out in several platforms
29 * @library /tools/javac/lib
30 * @enablePreview
31 * @modules java.base/jdk.internal.classfile.impl
32 * jdk.compiler/com.sun.tools.javac.api
33 * jdk.compiler/com.sun.tools.javac.file
34 * jdk.compiler/com.sun.tools.javac.util
35 * @build combo.ComboTestHelper
36 * @run main T7093325
37 */
38
39 import java.io.IOException;
40 import java.io.InputStream;
41
42 import java.lang.classfile.*;
43 import java.lang.classfile.attribute.CodeAttribute;
44 import java.lang.classfile.constantpool.ClassEntry;
45
46 import javax.tools.JavaFileObject;
47
48 import combo.ComboInstance;
49 import combo.ComboParameter;
50 import combo.ComboTask.Result;
51 import combo.ComboTestHelper;
52
53 public class T7093325 extends ComboInstance<T7093325> {
54
55 enum StatementKind implements ComboParameter {
56 NONE(null, false, false),
57 THROW("throw new RuntimeException();", false, false),
58 RETURN_NONEMPTY("System.out.println(); return;", true, false),
59 RETURN_EMPTY("return;", true, true),
60 APPLY("System.out.println();", true, false);
61
62 String stmt;
63 boolean canInline;
64 boolean empty;
65
66 StatementKind(String stmt, boolean canInline, boolean empty) {
67 this.stmt = stmt;
68 this.canInline = canInline;
69 this.empty = empty;
70 }
71
72 @Override
73 public String expand(String optParameter) {
74 return stmt;
75 }
76 }
77
78 enum CatchArity implements ComboParameter {
79 NONE(""),
80 ONE("catch (A a) { #{STMT[1]} }"),
81 TWO("catch (B b) { #{STMT[2]} }"),
82 THREE("catch (C c) { #{STMT[3]} }"),
83 FOUR("catch (D d) { #{STMT[4]} }");
84
85 String catchStr;
86
87 CatchArity(String catchStr) {
88 this.catchStr = catchStr;
89 }
90
91 @Override
92 public String expand(String optParameter) {
93 if (this.ordinal() == 0) {
94 return catchStr;
95 } else {
96 return CatchArity.values()[this.ordinal() - 1].expand(optParameter) +
97 catchStr;
98 }
99 }
100 }
101
102 public static void main(String... args) throws Exception {
103 new ComboTestHelper<T7093325>()
104 .withFilter(T7093325::testFilter)
105 .withDimension("CATCH", (x, ca) -> x.ca = ca, CatchArity.values())
106 .withArrayDimension("STMT", (x, stmt, idx) -> x.stmts[idx] = stmt, 5, StatementKind.values())
107 .run(T7093325::new);
108 }
109
110 /** instance decls **/
111
112 CatchArity ca;
113 StatementKind[] stmts = new StatementKind[5];
114
115 boolean testFilter() {
116 int lastPos = ca.ordinal() + 1;
117 for (int i = 0; i < stmts.length ; i++) {
118 boolean shouldBeSet = i < lastPos;
119 boolean isSet = stmts[i] != StatementKind.NONE;
120 if (shouldBeSet != isSet) {
121 return false;
122 }
123 }
124 return true;
125 }
126
127 @Override
128 public void doWork() throws IOException {
129 newCompilationTask()
130 .withSourceFromTemplate(source_template)
131 .generate(this::verifyBytecode);
132 }
133
134 void verifyBytecode(Result<Iterable<? extends JavaFileObject>> result) {
135 boolean lastInlined = false;
136 boolean hasCode = false;
137 int gapsCount = 0;
138 for (int i = 0; i < ca.ordinal() + 1 ; i++) {
139 lastInlined = stmts[i].canInline;
140 hasCode = hasCode || !stmts[i].empty;
141 if (lastInlined && hasCode) {
142 hasCode = false;
143 gapsCount++;
144 }
145 }
146 if (!lastInlined) {
147 gapsCount++;
148 }
149
150 try (InputStream is = result.get().iterator().next().openInputStream()) {
151 ClassModel cf = ClassFile.of().parse(is.readAllBytes());
152 if (cf == null) {
153 fail("ClassFile not found: " + result.compilationInfo());
154 return;
155 }
156
157 MethodModel test_method = null;
158 for (MethodModel m : cf.methods()) {
159 if (m.methodName().equalsString("test")) {
160 test_method = m;
161 break;
162 }
163 }
164
165 if (test_method == null) {
166 fail("Method test() not found in class Test" + result.compilationInfo());
167 return;
168 }
169
170 CodeAttribute code = test_method.findAttribute(Attributes.CODE).orElse(null);
171
172 if (code == null) {
173 fail("Code attribute not found in method test()");
174 return;
175 }
176
177 int actualGapsCount = 0;
178 for (int i = 0; i < code.exceptionHandlers().size() ; i++) {
179 ClassEntry catchType = code.exceptionHandlers().get(i).catchType().orElse(null);
180 if (catchType == null) { //any
181 actualGapsCount++;
182 }
183 }
184
185 if (actualGapsCount != gapsCount) {
186 fail("Bad exception table for test()\n" +
187 "expected gaps: " + gapsCount + "\n" +
188 "found gaps: " + actualGapsCount + "\n" +
189 result.compilationInfo());
190 }
191 } catch (IOException e) {
192 e.printStackTrace();
193 fail("error reading classfile: " + e);
194 }
195
196 }
197
198 static final String source_template =
199 "class Test {\n" +
200 " void test() {\n" +
201 " try { #{STMT[0]} } #{CATCH} finally { System.out.println(); }\n" +
202 " }\n" +
203 "}\n" +
204 "class A extends RuntimeException {} \n" +
205 "class B extends RuntimeException {} \n" +
206 "class C extends RuntimeException {} \n" +
207 "class D extends RuntimeException {} \n" +
208 "class E extends RuntimeException {}";
209 }