tests/regression/jasmin/test_verify_fail_aload_retaddress.j

   1 .class public test_verify_fail_aload_retaddress
   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 35
  19         istore 1
  20
  21         aload 0
  22         ifnull force_basic_block_boundary
  23
  24         ; --------------------------------------------------
  25
  26         jsr sbr_1
  27
  28         ; --------------------------------------------------
  29
  30 force_basic_block_boundary:
  31
  32         return
  33
  34 sbr_1:
  35         astore 2
  36         aload 2
  37         pop
  38         ret 2
  39         ; ERROR: VerifyError
  40
  41 .end method