mono/tests/verifier/unverifiable_ldfld_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
  17 .method public static int32 Main() cil managed
  18 {
  19         .entrypoint
  20         .maxstack 1
  21         .locals init (
  22                 class c
  23         )
  24         ldloc.0
  25         ldfld int32 c::valid // Unverifiable, valid initonly.
  26         pop
  27         ldc.i4.0
  28         ret
  29 }