test/compiler/6865265/StackOverflowBug.java

Thu, 11 Apr 2013 09:39:57 -0700

author
katleman
date
Thu, 11 Apr 2013 09:39:57 -0700
changeset 4883
5dcfeb396fed
parent 4311
7cc69864a29b
child 6876
710a3c8b516e
permissions
-rw-r--r--

Added tag jdk8-b85 for changeset 42fe530cd478

     1 /*
     2  * Copyright (c) 2011, 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  */
    25 /**
    26  * @test
    27  * @bug 6865265
    28  * @summary JVM crashes with "missing exception handler" error
    29  * @author volker.simonis@sap.com
    30  *
    31  * @run main/othervm -XX:CompileThreshold=100 -Xbatch -Xss248k StackOverflowBug
    32  */
    35 public class StackOverflowBug {
    37   public static int run() {
    38     try {
    39       try {
    40         return run();
    41       } catch (Throwable e) {
    42         // Notice that the class 'Throwable' is NOT resolved by the verifier,
    43         // because the verifier only checks if 'Throwable' is assignable to
    44         // 'java.lang.Throwable' and this check succeeds immediately if the two
    45         // types have equal names (see 'VerificationType::is_assignable_from' which
    46         // is called from 'ClassVerifier::verify_exception_handler_table').
    47         // This is strange, because if the two classes have different names,
    48         // 'is_assignable_from()' calls 'is_reference_assignable_from()' which resolves
    49         // both classes by calling 'SystemDictionary::resolve_or_fail()'. This call
    50         // also takes into account the current class loader (i.e. the one which was used
    51         // to load this class) and would place a corresponding
    52         // "java.lang.Throwable / current-Classloader" entry into the system dictionary.
    53         // This would in turn allow C2 to see 'java.lang.Throwable' as "loaded"
    54         // (see 'Parse::catch_inline_exceptions()') when this method is compiled.
    55         return 42;
    56       }
    57     }
    58     finally {
    59     }
    60   }
    62   public static void main(String argv[]) {
    63     run();
    64   }
    65 }
    67 /*
    68   public static int run();
    69     Code:
    70        0: invokestatic  #2                  // Method run:()I
    71        3: istore_0
    72        4: iload_0
    73        5: ireturn
    74        6: astore_0
    75        7: bipush        42
    76        9: istore_1
    77       10: iload_1
    78       11: ireturn
    79       12: astore_2
    80       13: aload_2
    81       14: athrow
    82     Exception table:
    83        from    to  target type
    84            0     4     6   Class java/lang/Throwable
    85            0     4    12   any
    86            6    10    12   any
    87           12    13    12   any
    89  */

mercurial