diff options
Diffstat (limited to 'libjava/testsuite/libjava.lang/verify.java')
-rw-r--r-- | libjava/testsuite/libjava.lang/verify.java | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/libjava/testsuite/libjava.lang/verify.java b/libjava/testsuite/libjava.lang/verify.java new file mode 100644 index 000000000..71b4b5c43 --- /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); + } +} |