From ac7aae5e2b735531c1fb00d576e233faaf13ddac Mon Sep 17 00:00:00 2001 From: Tom Tromey Date: Wed, 7 May 2003 01:23:16 +0000 Subject: [PATCH] verify.java: New file. * libjava.lang/verify.java: New file. * libjava.lang/verify.out: New file. From-SVN: r66547 --- libjava/testsuite/ChangeLog | 5 +++++ libjava/testsuite/libjava.lang/verify.java | 20 ++++++++++++++++++++ libjava/testsuite/libjava.lang/verify.out | 0 3 files changed, 25 insertions(+) create mode 100644 libjava/testsuite/libjava.lang/verify.java create mode 100644 libjava/testsuite/libjava.lang/verify.out diff --git a/libjava/testsuite/ChangeLog b/libjava/testsuite/ChangeLog index cb9380a8c2f..6ea10fff1be 100644 --- a/libjava/testsuite/ChangeLog +++ b/libjava/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2003-05-06 Tom Tromey + + * libjava.lang/verify.java: New file. + * libjava.lang/verify.out: New file. + 2003-05-01 Tom Tromey PR java/10459: diff --git a/libjava/testsuite/libjava.lang/verify.java b/libjava/testsuite/libjava.lang/verify.java new file mode 100644 index 00000000000..71b4b5c43a7 --- /dev/null +++ b/libjava/testsuite/libjava.lang/verify.java @@ -0,0 +1,20 @@ +// Test for a verification regression. + +interface I { } +class D implements I { } +class E extends D { } + +public class verify +{ + static void call(I v) { } + + static void doit (Object x) + { + call ((x instanceof I) ? (I) x : new E ()); + } + + public static void main(String[] args) + { + doit(null); + } +} diff --git a/libjava/testsuite/libjava.lang/verify.out b/libjava/testsuite/libjava.lang/verify.out new file mode 100644 index 00000000000..e69de29bb2d -- 2.30.2