mono/tests/verifier/valid_fld_initonly.il

   1 // Invalid CIL which breaks the ECMA-335,III,4.10 rules.
   2 // This CIL should fail verification by a conforming CLI verifier.
   3
   4 .assembly '${TEST_NAME}_generated'
   5 {
   6   .hash algorithm 0x00008004
   7   .ver  0:0:0:0
   8 }
   9
  10
  11 .class public auto ansi beforefieldinit c
  12         extends [mscorlib]System.Object
  13 {
  14         .field public initonly int32 valid
  15
  16         .method public hidebysig specialname rtspecialname instance default void .ctor () cil managed
  17         {
  18                 .maxstack 8
  19                 ldarg.0
  20                 call instance void object::.ctor()
  21                 ret
  22         }
  23 }
  24
  25 .method public static int32 Main() cil managed
  26 {
  27         .entrypoint
  28         .maxstack 2
  29         newobj instance void c::.ctor()
  30         ldfld int32 c::valid // Unverifiable, valid initonly.
  31         pop
  32         ldc.i4.0
  33         ret
  34 }