tests/regression/jasmin/test_verify_fail_long_local.j

   1 .class public test_verify_fail_long_local
   2 .super java/lang/Object
   3
   4 ; long local overwrites int local in second half
   5
   6 ; ======================================================================
   7
   8 .method public <init>()V
   9    aload_0
  10    invokenonvirtual java/lang/Object/<init>()V
  11    return
  12 .end method
  13
  14 ; ======================================================================
  15
  16 .method public static check(I)V
  17         .limit locals 1
  18         .limit stack 10
  19         getstatic java/lang/System/out Ljava/io/PrintStream;
  20         iload_0
  21         invokevirtual java/io/PrintStream/println(I)V
  22         return
  23 .end method
  24
  25 ; ======================================================================
  26
  27 .method public static main([Ljava/lang/String;)V
  28         .limit stack 2
  29         .limit locals 3
  30
  31         ldc 42
  32         istore 2
  33
  34         aload 0
  35         ifnull force_basic_block_boundary
  36
  37         ; --------------------------------------------------
  38
  39         ldc2_w 1234567890987654321
  40         lstore 1
  41
  42         ; --------------------------------------------------
  43
  44 force_basic_block_boundary:
  45
  46         iload 2
  47         ; ERROR: VerifyError
  48         invokestatic test_verify_fail_long_local/check(I)V
  49
  50         return
  51 .end method