tests/regression/jasmin/test_verify_fail_putfield_basic_type_instance.j

   1 .class public test_verify_fail_putfield_basic_type_instance
   2 .super java/lang/Object
   3
   4 .field public "intfield" I
   5
   6 ; ======================================================================
   7
   8 .method public <init>()V
   9    .limit stack 2
  10
  11    aload_0
  12    invokenonvirtual java/lang/Object/<init>()V
  13
  14    aload_0
  15    ldc 567
  16    putfield test_verify_fail_putfield_basic_type_instance/intfield I
  17
  18    return
  19 .end method
  20
  21 ; ======================================================================
  22
  23 .method public static check(I)V
  24         .limit locals 1
  25         .limit stack 10
  26         getstatic java/lang/System/out Ljava/io/PrintStream;
  27         iload_0
  28         invokevirtual java/io/PrintStream/println(I)V
  29         return
  30 .end method
  31
  32 ; ======================================================================
  33
  34 .method public static main([Ljava/lang/String;)V
  35         .limit stack 2
  36         .limit locals 2
  37
  38         ldc 42
  39         istore 1
  40
  41         new test_verify_fail_putfield_basic_type_instance
  42         dup
  43         invokespecial test_verify_fail_putfield_basic_type_instance/<init>()V
  44
  45         pop
  46         iconst_1
  47
  48         iload 1
  49         putfield test_verify_fail_putfield_basic_type_instance/intfield I
  50         ; ERROR: VerifyError
  51         ; ICMD: PUTFIELD
  52
  53         return
  54 .end method
  55