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 /**
26 * @test
27 * @bug 6478991
28 * @summary C1 NullCheckEliminator yields incorrect exceptions
29 *
30 * @run main/othervm -XX:CompileOnly=NullCheckTest.test,NullCheckTest.inlined -Xcomp NullCheckTest
31 */
32
33 public class NullCheckTest {
34 static class A {
35 int f;
36
37 public final void inlined(A a) {
38 // This cast is intended to fail.
39 B b = ((B) a);
40 }
41 }
42
43 static class B extends A {
44 }
45
46
47 private static void test(A a1, A a2) {
48 // Inlined call must do a null check on a1.
49 // However, the exlipcit NullCheck instruction is eliminated and
50 // the null check is folded into the field load below, so the
51 // exception in the inlined method is thrown before the null check
52 // and the NullPointerException is not thrown.
|
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 /**
26 * @test
27 * @bug 6478991
28 * @summary C1 NullCheckEliminator yields incorrect exceptions
29 *
30 * @run main/othervm -Xcomp
31 * -XX:CompileCommand=compileonly,compiler.c1.NullCheckTest::test
32 * -XX:CompileCommand=compileonly,compiler.c1.NullCheckTest::inlined
33 * compiler.c1.NullCheckTest
34 */
35
36 package compiler.c1;
37
38 public class NullCheckTest {
39 static class A {
40 int f;
41
42 public final void inlined(A a) {
43 // This cast is intended to fail.
44 B b = ((B) a);
45 }
46 }
47
48 static class B extends A {
49 }
50
51
52 private static void test(A a1, A a2) {
53 // Inlined call must do a null check on a1.
54 // However, the exlipcit NullCheck instruction is eliminated and
55 // the null check is folded into the field load below, so the
56 // exception in the inlined method is thrown before the null check
57 // and the NullPointerException is not thrown.
|