tests/regression/jasmin/test_verify_fail_jsr_recursion.j

   1 .class public test_verify_fail_jsr_recursion
   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(I)V
  15         .limit locals 1
  16         .limit stack 10
  17         getstatic java/lang/System/out Ljava/io/PrintStream;
  18         iload_0
  19         invokevirtual java/io/PrintStream/println(I)V
  20         return
  21 .end method
  22
  23 ; ======================================================================
  24
  25 .method public static main([Ljava/lang/String;)V
  26         .limit stack 2
  27         .limit locals 4
  28
  29         ldc 0
  30         istore 1
  31
  32         aload 0
  33         ifnull force_basic_block_boundary
  34
  35         ; --------------------------------------------------
  36
  37         jsr sbr_1
  38         jsr sbr_1
  39
  40         ; --------------------------------------------------
  41
  42 force_basic_block_boundary:
  43
  44         iload 1
  45         invokestatic test_verify_fail_jsr_recursion/check(I)V
  46
  47         return
  48
  49 sbr_1:
  50         astore 2
  51         iload 1
  52         invokestatic test_verify_fail_jsr_recursion/check(I)V
  53         iload 1
  54         ifne  second_time
  55         iinc 1 1
  56         jsr sbr_1
  57         ; ERROR: VerifyError
  58
  59 second_time:
  60         ret 2
  61
  62 .end method
  63