vromero@2009: /* vromero@2009: * Copyright (c) 2013, Oracle and/or its affiliates. All rights reserved. vromero@2009: * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. vromero@2009: * vromero@2009: * This code is free software; you can redistribute it and/or modify it vromero@2009: * under the terms of the GNU General Public License version 2 only, as vromero@2009: * published by the Free Software Foundation. Oracle designates this vromero@2009: * particular file as subject to the "Classpath" exception as provided vromero@2009: * by Oracle in the LICENSE file that accompanied this code. vromero@2009: * vromero@2009: * This code is distributed in the hope that it will be useful, but WITHOUT vromero@2009: * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or vromero@2009: * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License vromero@2009: * version 2 for more details (a copy is included in the LICENSE file that vromero@2009: * accompanied this code). vromero@2009: * vromero@2009: * You should have received a copy of the GNU General Public License version vromero@2009: * 2 along with this work; if not, write to the Free Software Foundation, vromero@2009: * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. vromero@2009: * vromero@2009: * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA vromero@2009: * or visit www.oracle.com if you need additional information or have any vromero@2009: * questions. vromero@2009: */ vromero@2009: vromero@2009: /* vromero@2009: * @test vromero@2009: * @bug 8024039 vromero@2009: * @summary javac, previous solution for JDK-8022186 was incorrect vromero@2009: * @library /tools/javac/lib vromero@2009: * @build ToolBox vromero@2009: * @run main NoDeadCodeGenerationOnTrySmtTest vromero@2009: */ vromero@2009: vromero@2009: import java.io.File; vromero@2009: import java.nio.file.Paths; vromero@2009: vromero@2009: import com.sun.tools.classfile.ClassFile; vromero@2009: import com.sun.tools.classfile.Code_attribute; vromero@2009: import com.sun.tools.classfile.Code_attribute.Exception_data; vromero@2009: import com.sun.tools.classfile.Method; vromero@2009: import com.sun.tools.javac.util.Assert; vromero@2009: vromero@2009: public class NoDeadCodeGenerationOnTrySmtTest { vromero@2009: vromero@2009: static final String testSource = vromero@2009: "public class Test {\n" + vromero@2009: " void m1(int arg) {\n" + vromero@2009: " synchronized (new Integer(arg)) {\n" + vromero@2009: " {\n" + vromero@2009: " label0:\n" + vromero@2009: " do {\n" + vromero@2009: " break label0;\n" + vromero@2009: " } while (arg != 0);\n" + vromero@2009: " }\n" + vromero@2009: " }\n" + vromero@2009: " }\n" + vromero@2009: vromero@2009: " void m2(int arg) {\n" + vromero@2009: " synchronized (new Integer(arg)) {\n" + vromero@2009: " {\n" + vromero@2009: " label0:\n" + vromero@2009: " {\n" + vromero@2009: " break label0;\n" + vromero@2009: " }\n" + vromero@2009: " }\n" + vromero@2009: " }\n" + vromero@2009: " }\n" + vromero@2009: "}"; vromero@2009: vromero@2009: static final int[][] expectedExceptionTable = { vromero@2009: // {from, to, target, type}, vromero@2009: {11, 13, 16, 0}, vromero@2009: {16, 19, 16, 0} vromero@2009: }; vromero@2009: vromero@2009: static final String[] methodsToLookFor = {"m1", "m2"}; vromero@2009: vromero@2009: public static void main(String[] args) throws Exception { vromero@2009: new NoDeadCodeGenerationOnTrySmtTest().run(); vromero@2009: } vromero@2009: vromero@2009: void run() throws Exception { vromero@2009: compileTestClass(); vromero@2009: checkClassFile(new File(Paths.get(System.getProperty("user.dir"), vromero@2009: "Test.class").toUri()), methodsToLookFor); vromero@2009: } vromero@2009: vromero@2009: void compileTestClass() throws Exception { vromero@2009: ToolBox.JavaToolArgs javacSuccessArgs = vromero@2009: new ToolBox.JavaToolArgs().setSources(testSource); vromero@2009: ToolBox.javac(javacSuccessArgs); vromero@2009: } vromero@2009: vromero@2009: void checkClassFile(final File cfile, String[] methodsToFind) throws Exception { vromero@2009: ClassFile classFile = ClassFile.read(cfile); vromero@2009: int numberOfmethodsFound = 0; vromero@2009: for (String methodToFind : methodsToFind) { vromero@2009: for (Method method : classFile.methods) { vromero@2009: if (method.getName(classFile.constant_pool).equals(methodToFind)) { vromero@2009: numberOfmethodsFound++; vromero@2009: Code_attribute code = (Code_attribute) method.attributes.get("Code"); alundblad@2034: Assert.check(code.exception_table_length == expectedExceptionTable.length, vromero@2009: "The ExceptionTable found has a length different to the expected one"); vromero@2009: int i = 0; vromero@2009: for (Exception_data entry: code.exception_table) { vromero@2009: Assert.check(entry.start_pc == expectedExceptionTable[i][0] && vromero@2009: entry.end_pc == expectedExceptionTable[i][1] && vromero@2009: entry.handler_pc == expectedExceptionTable[i][2] && vromero@2009: entry.catch_type == expectedExceptionTable[i][3], vromero@2009: "Exception table entry at pos " + i + " differ from expected."); vromero@2009: i++; vromero@2009: } vromero@2009: } vromero@2009: } vromero@2009: } vromero@2009: Assert.check(numberOfmethodsFound == 2, "Some seek methods were not found"); vromero@2009: } vromero@2009: vromero@2009: void error(String msg) { vromero@2009: throw new AssertionError(msg); vromero@2009: } vromero@2009: vromero@2009: }