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
24/**
25 * @test
26 * @bug 6478991
27 * @summary C1 NullCheckEliminator yields incorrect exceptions
28 *
29 * @run main/othervm -Xcomp
30 *      -XX:CompileCommand=compileonly,compiler.c1.NullCheckTest::test
31 *      -XX:CompileCommand=compileonly,compiler.c1.NullCheckTest::inlined
32 *      compiler.c1.NullCheckTest
33 */
34
35package compiler.c1;
36
37public class NullCheckTest {
38    static class A {
39        int f;
40
41        public final void inlined(A a) {
42            // This cast is intended to fail.
43            B b = ((B) a);
44        }
45    }
46
47    static class B extends A {
48    }
49
50
51    private static void test(A a1, A a2) {
52        // Inlined call must do a null check on a1.
53        // However, the exlipcit NullCheck instruction is eliminated and
54        // the null check is folded into the field load below, so the
55        // exception in the inlined method is thrown before the null check
56        // and the NullPointerException is not thrown.
57        a1.inlined(a2);
58
59        int x = a1.f;
60    }
61
62    public static void main(String[] args) {
63        // load classes
64        new B();
65        try {
66                test(null, new A());
67
68                throw new InternalError("FAILURE: no exception");
69        } catch (NullPointerException ex) {
70                System.out.println("CORRECT: NullPointerException");
71        } catch (ClassCastException ex) {
72                System.out.println("FAILURE: ClassCastException");
73                throw ex;
74        }
75    }
76}
77