tests/regression/jasmin/test_verify_fail_athrow_wrong_reftype_unresolved.j

   1 .class public test_verify_fail_athrow_wrong_reftype_unresolved
   2 .super java/lang/Object
   3
   4 ; ======================================================================
   5
   6 .method public <init>()V
   7    aload_0
   8    invokenonvirtual java/lang/Object/<init>()V
   9    return
  10 .end method
  11
  12 ; ======================================================================
  13
  14 .method public static check(Ljava/lang/Object;)V
  15         .limit locals 1
  16         .limit stack 10
  17         getstatic java/lang/System/out Ljava/io/PrintStream;
  18         aload_0
  19         invokevirtual java/io/PrintStream/println(Ljava/lang/Object;)V
  20         return
  21 .end method
  22
  23 .method public static foo()Ljava/lang/String;
  24         .limit locals 0
  25         .limit stack 3
  26
  27         new java/lang/String
  28         dup
  29         ldc "a string"
  30         invokespecial java/lang/String/<init>(Ljava/lang/String;)V
  31         athrow
  32         ; ERROR: VerifyError\|LinkageError
  33
  34         aconst_null
  35         areturn
  36 .end method
  37
  38 ; ======================================================================
  39
  40 .method public static main([Ljava/lang/String;)V
  41         .limit stack 2
  42         .limit locals 2
  43
  44         invokestatic test_verify_fail_athrow_wrong_reftype_unresolved/foo()Ljava/lang/String;
  45
  46         invokestatic test_verify_fail_athrow_wrong_reftype_unresolved/check(Ljava/lang/Object;)V
  47
  48         return
  49 .end method