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 .class public auto ansi beforefieldinit c
   5         extends [mscorlib]System.Object
   6 {
   7         .field public initonly int32 valid
   8 }
   9
  10 .method public static int32 Main() cil managed
  11 {
  12         .entrypoint
  13         .maxstack 1
  14         .locals init (
  15                 class c
  16         )
  17         ldloc.0
  18         ldfld int32 c::valid // Unverifiable, valid initonly.
  19         pop
  20         ldc.i4.0
  21         ret
  22 }