test/tools/javac/T8024039/NoDeadCodeGenerationOnTrySmtTest.java

Wed, 18 Sep 2013 14:39:27 +0200

author
alundblad
date
Wed, 18 Sep 2013 14:39:27 +0200
changeset 2034
ac6ec071c2b2
parent 2009
7c7b4aea6d50
child 2525
2eb010b6cb22
permissions
-rw-r--r--

8024127: javac, Code_attribute.exception_table_langth should be Code_attribute.exception_table_length
Summary: exception_table_langth renamed to exception_table_length
Reviewed-by: jfranck, jjg

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

mercurial