author | vromero |
Fri, 06 Sep 2013 09:53:24 +0100 | |
changeset 19923 | 4895f15b3845 |
child 20236 | 32da2c913ac4 |
permissions | -rw-r--r-- |
19923
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
1 |
/* |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
2 |
* Copyright (c) 2013, Oracle and/or its affiliates. All rights reserved. |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
3 |
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
4 |
* |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
5 |
* This code is free software; you can redistribute it and/or modify it |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
6 |
* under the terms of the GNU General Public License version 2 only, as |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
7 |
* published by the Free Software Foundation. Oracle designates this |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
8 |
* particular file as subject to the "Classpath" exception as provided |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
9 |
* by Oracle in the LICENSE file that accompanied this code. |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
10 |
* |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
11 |
* This code is distributed in the hope that it will be useful, but WITHOUT |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
12 |
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
13 |
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
14 |
* version 2 for more details (a copy is included in the LICENSE file that |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
15 |
* accompanied this code). |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
16 |
* |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
17 |
* You should have received a copy of the GNU General Public License version |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
18 |
* 2 along with this work; if not, write to the Free Software Foundation, |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
19 |
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
20 |
* |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
21 |
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
22 |
* or visit www.oracle.com if you need additional information or have any |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
23 |
* questions. |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
24 |
*/ |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
25 |
|
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
26 |
/* |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
27 |
* @test |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
28 |
* @bug 8024039 |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
29 |
* @summary javac, previous solution for JDK-8022186 was incorrect |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
30 |
* @library /tools/javac/lib |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
31 |
* @build ToolBox |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
32 |
* @run main NoDeadCodeGenerationOnTrySmtTest |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
33 |
*/ |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
34 |
|
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
35 |
import java.io.File; |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
36 |
import java.nio.file.Paths; |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
37 |
|
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
38 |
import com.sun.tools.classfile.ClassFile; |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
39 |
import com.sun.tools.classfile.Code_attribute; |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
40 |
import com.sun.tools.classfile.Code_attribute.Exception_data; |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
41 |
import com.sun.tools.classfile.Method; |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
42 |
import com.sun.tools.javac.util.Assert; |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
43 |
|
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
44 |
public class NoDeadCodeGenerationOnTrySmtTest { |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
45 |
|
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
46 |
static final String testSource = |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
47 |
"public class Test {\n" + |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
48 |
" void m1(int arg) {\n" + |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
49 |
" synchronized (new Integer(arg)) {\n" + |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
50 |
" {\n" + |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
51 |
" label0:\n" + |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
52 |
" do {\n" + |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
53 |
" break label0;\n" + |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
54 |
" } while (arg != 0);\n" + |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
55 |
" }\n" + |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
56 |
" }\n" + |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
57 |
" }\n" + |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
58 |
|
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
59 |
" void m2(int arg) {\n" + |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
60 |
" synchronized (new Integer(arg)) {\n" + |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
61 |
" {\n" + |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
62 |
" label0:\n" + |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
63 |
" {\n" + |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
64 |
" break label0;\n" + |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
65 |
" }\n" + |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
66 |
" }\n" + |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
67 |
" }\n" + |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
68 |
" }\n" + |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
69 |
"}"; |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
70 |
|
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
71 |
static final int[][] expectedExceptionTable = { |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
72 |
// {from, to, target, type}, |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
73 |
{11, 13, 16, 0}, |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
74 |
{16, 19, 16, 0} |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
75 |
}; |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
76 |
|
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
77 |
static final String[] methodsToLookFor = {"m1", "m2"}; |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
78 |
|
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
79 |
public static void main(String[] args) throws Exception { |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
80 |
new NoDeadCodeGenerationOnTrySmtTest().run(); |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
81 |
} |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
82 |
|
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
83 |
void run() throws Exception { |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
84 |
compileTestClass(); |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
85 |
checkClassFile(new File(Paths.get(System.getProperty("user.dir"), |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
86 |
"Test.class").toUri()), methodsToLookFor); |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
87 |
} |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
88 |
|
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
89 |
void compileTestClass() throws Exception { |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
90 |
ToolBox.JavaToolArgs javacSuccessArgs = |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
91 |
new ToolBox.JavaToolArgs().setSources(testSource); |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
92 |
ToolBox.javac(javacSuccessArgs); |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
93 |
} |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
94 |
|
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
95 |
void checkClassFile(final File cfile, String[] methodsToFind) throws Exception { |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
96 |
ClassFile classFile = ClassFile.read(cfile); |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
97 |
int numberOfmethodsFound = 0; |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
98 |
for (String methodToFind : methodsToFind) { |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
99 |
for (Method method : classFile.methods) { |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
100 |
if (method.getName(classFile.constant_pool).equals(methodToFind)) { |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
101 |
numberOfmethodsFound++; |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
102 |
Code_attribute code = (Code_attribute) method.attributes.get("Code"); |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
103 |
Assert.check(code.exception_table_langth == expectedExceptionTable.length, |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
104 |
"The ExceptionTable found has a length different to the expected one"); |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
105 |
int i = 0; |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
106 |
for (Exception_data entry: code.exception_table) { |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
107 |
Assert.check(entry.start_pc == expectedExceptionTable[i][0] && |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
108 |
entry.end_pc == expectedExceptionTable[i][1] && |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
109 |
entry.handler_pc == expectedExceptionTable[i][2] && |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
110 |
entry.catch_type == expectedExceptionTable[i][3], |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
111 |
"Exception table entry at pos " + i + " differ from expected."); |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
112 |
i++; |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
113 |
} |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
114 |
} |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
115 |
} |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
116 |
} |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
117 |
Assert.check(numberOfmethodsFound == 2, "Some seek methods were not found"); |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
118 |
} |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
119 |
|
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
120 |
void error(String msg) { |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
121 |
throw new AssertionError(msg); |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
122 |
} |
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
123 |
|
4895f15b3845
8024039: javac, previous solution for JDK-8022186 was incorrect
vromero
parents:
diff
changeset
|
124 |
} |