mono/tests/verifier/unverifiable_ldflda_other_class_on_simple_method.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 .class public GoodClass {
  23         .field static initonly valuetype MyValueType x
  24
  25 }
  26
  27 .class public BadClass
  28 {
  29
  30 .method void ordinaryName ()
  31 {
  32     .maxstack 8
  33     .locals (
  34         GoodClass V_1
  35         )
  36
  37         ldloc.0
  38         ldflda 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 }
  53
  54 .method public static void Main() cil managed
  55 {
  56         .maxstack 2
  57         .entrypoint
  58         newobj instance void BadClass::.ctor()
  59         call instance void BadClass::ordinaryName()
  60         ret
  61 }
  62
  63
  64