diff options
| author | Tom Tromey <tromey@redhat.com> | 2003-05-07 01:23:16 +0000 |
|---|---|---|
| committer | Tom Tromey <tromey@gcc.gnu.org> | 2003-05-07 01:23:16 +0000 |
| commit | ac7aae5e2b735531c1fb00d576e233faaf13ddac (patch) | |
| tree | 5e7ebc0537a691d2b05a71f7cf1cd87d69526196 /libjava | |
| parent | 0b745a5bcc14ffc26937805d5c53a5609bb18bba (diff) | |
| download | gcc-ac7aae5e2b735531c1fb00d576e233faaf13ddac.zip gcc-ac7aae5e2b735531c1fb00d576e233faaf13ddac.tar.gz gcc-ac7aae5e2b735531c1fb00d576e233faaf13ddac.tar.bz2 | |
verify.java: New file.
* libjava.lang/verify.java: New file.
* libjava.lang/verify.out: New file.
From-SVN: r66547
Diffstat (limited to 'libjava')
| -rw-r--r-- | libjava/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | libjava/testsuite/libjava.lang/verify.java | 20 | ||||
| -rw-r--r-- | libjava/testsuite/libjava.lang/verify.out | 0 |
3 files changed, 25 insertions, 0 deletions
diff --git a/libjava/testsuite/ChangeLog b/libjava/testsuite/ChangeLog index cb9380a..6ea10ff 100644 --- a/libjava/testsuite/ChangeLog +++ b/libjava/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2003-05-06 Tom Tromey <tromey@redhat.com> + + * libjava.lang/verify.java: New file. + * libjava.lang/verify.out: New file. + 2003-05-01 Tom Tromey <tromey@redhat.com> PR java/10459: diff --git a/libjava/testsuite/libjava.lang/verify.java b/libjava/testsuite/libjava.lang/verify.java new file mode 100644 index 0000000..71b4b5c --- /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 0000000..e69de29 --- /dev/null +++ b/libjava/testsuite/libjava.lang/verify.out |