gcc/libjava/testsuite/libjava.lang/verify.java

21 lines
309 B
Java
Raw Normal View History

// 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);
}
}