1/*
2 * Copyright (c) 2013, 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 8019184
27 * @library /lib/testlibrary /lib/testlibrary/jsr292
28 * @summary MethodHandles.catchException() fails when methods have 8 args + varargs
29 * @run main TestCatchExceptionWithVarargs
30 */
31
32import com.oracle.testlibrary.jsr292.CodeCacheOverflowProcessor;
33import java.util.*;
34import java.lang.invoke.*;
35
36public class TestCatchExceptionWithVarargs {
37
38    private static final Class<?> CLASS = TestCatchExceptionWithVarargs.class;
39    private static final int MAX_MH_ARITY = 254;
40
41    public static MethodHandle target;
42    public static MethodHandle handler;
43
44    private static Object firstArg;
45
46    static class MyException extends Exception {
47    }
48
49    public static Object target(Object... a) throws Exception {
50        if (a[0] != firstArg) {
51            throw new AssertionError("first argument different than expected: " + a[0] + " != " + firstArg);
52        }
53        throw new MyException();
54    }
55
56    public static Object handler(Object... a) {
57        if (a[0] != firstArg) {
58            throw new AssertionError("first argument different than expected: " + a[0] + " != " + firstArg);
59        }
60        return a[0];
61    }
62
63    static {
64        try {
65            MethodType mtype = MethodType.methodType(Object.class, Object[].class);
66            target = MethodHandles.lookup().findStatic(CLASS, "target", mtype);
67            handler = MethodHandles.lookup().findStatic(CLASS, "handler", mtype);
68        } catch (Exception e) {
69            throw new AssertionError(e);
70        }
71    }
72
73    public static void main(String[] args) throws Throwable {
74        CodeCacheOverflowProcessor
75                .runMHTest(TestCatchExceptionWithVarargs::test);
76    }
77
78    public static void test() throws Throwable {
79        List<Class<?>> ptypes = new LinkedList<>();
80        ptypes.add(Object[].class);
81
82        // We use MAX_MH_ARITY - 1 here to account for the Object[] argument.
83        for (int i = 1; i < MAX_MH_ARITY - 1; i++) {
84            ptypes.add(0, Object.class);
85
86            MethodHandle targetWithArgs = target.asType(MethodType.methodType(Object.class, ptypes));
87            MethodHandle handlerWithArgs = handler.asType(MethodType.methodType(Object.class, ptypes));
88            handlerWithArgs = MethodHandles.dropArguments(handlerWithArgs, 0, MyException.class);
89
90            MethodHandle gwc1 = MethodHandles.catchException(targetWithArgs, MyException.class, handlerWithArgs);
91
92            // The next line throws an IllegalArgumentException if there is a bug.
93            MethodHandle gwc2 = MethodHandles.catchException(gwc1, MyException.class, handlerWithArgs);
94
95            // This is only to verify that the method handles can actually be invoked and do the right thing.
96            firstArg = new Object();
97            Object o = gwc2.asSpreader(Object[].class, ptypes.size() - 1).invoke(firstArg, new Object[i]);
98            if (o != firstArg) {
99                throw new AssertionError("return value different than expected: " + o + " != " + firstArg);
100            }
101        }
102    }
103}
104