tests/regression/jasmin/test_verify_fail_backward_with_new_on_stack.j

   1 .class public test_verify_fail_backward_with_new_on_stack
   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 main([Ljava/lang/String;)V
  15         .limit stack 2
  16         .limit locals 3
  17
  18         ldc 1
  19         istore 1
  20
  21         aconst_null
  22
  23 backward:
  24         pop
  25         new test_verify_fail_backward_with_new_in_local
  26
  27         iload 1
  28         ifeq backward
  29         ; ERROR: VerifyError
  30
  31         dup
  32         invokespecial test_verify_fail_backward_with_new_in_local/<init>()V
  33
  34         getstatic java/lang/System/out Ljava/io/PrintStream;
  35         swap
  36         invokevirtual java/io/PrintStream/println(Ljava/lang/Object;)V
  37
  38         return
  39 .end method