mono/tests/verifier/unverifiable_ldsflda_other_class_field_on_cctor.il

   1
   2 // unverifiable CIL which breaks the ECMA-335 rules.
   3 // this CIL should fail verification by a conforming CLI verifier.
   4
   5 .assembly 'unverifiable_assign_compat_9_1_generated'
   6 {
   7   .hash algorithm 0x00008004
   8   .ver  0:0:0:0
   9 }
  10
  11 .assembly extern mscorlib
  12 {
  13   .ver 1:0:5000:0
  14   .publickeytoken = (B7 7A 5C 56 19 34 E0 89 ) // .z\V.4..
  15 }
  16
  17 .class sealed MyValueType extends [mscorlib]System.ValueType
  18 {
  19         .field private int32 fld
  20 }
  21
  22
  23 .class public GoodClass {
  24         .field static initonly valuetype MyValueType x
  25         .method public hidebysig specialname rtspecialname instance default void .ctor () cil managed
  26         {
  27                 .maxstack 8
  28                 ldarg.0
  29                 call instance void object::.ctor()
  30                 ret
  31         }
  32 }
  33
  34 .class public BadClass {
  35         .method private static specialname rtspecialname default void .cctor ()
  36         {
  37             .maxstack 8
  38                 ldsflda valuetype MyValueType GoodClass::x
  39                 pop
  40                 ret
  41         }
  42
  43         .method public hidebysig specialname rtspecialname instance default void .ctor () cil managed
  44         {
  45                 .maxstack 8
  46                 ldarg.0
  47                 call instance void object::.ctor()
  48                 ret
  49         }
  50 }
  51
  52 .method public static void Main() cil managed
  53 {
  54         .maxstack 2
  55         .entrypoint
  56         newobj instance void BadClass::.ctor()
  57         pop
  58         ret
  59 }
  60
  61
  62