verify.java

this gcc-g++-3.3.1.tar.gz is a source file of gcc, you can learn more about gcc through this codes f

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