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

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