libjava/testsuite/libjava.lang/verify.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
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);
  }
}