tests/regression/jasmin/test_verify_fail_double_overwritten.j

   1 .class public test_verify_fail_double_overwritten
   2 .super java/lang/Object
   3
   4 ; test: second half of double is overwritten by an int
   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(D)V
  17         .limit locals 2
  18         .limit stack 10
  19         getstatic java/lang/System/out Ljava/io/PrintStream;
  20         dload_0
  21         invokevirtual java/io/PrintStream/println(D)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         ldc2_w 12.34
  32         dstore 1
  33
  34         aload 0
  35         ifnull force_basic_block_boundary
  36
  37         ; --------------------------------------------------
  38
  39         ldc 42
  40         istore 2
  41
  42         ; --------------------------------------------------
  43
  44 force_basic_block_boundary:
  45
  46         dload 1
  47         ; ERROR: VerifyError
  48         invokestatic test_verify_fail_double_overwritten/check(D)V
  49
  50         return
  51 .end method