mono/tests/verifier/unverifiable_ldsfld_no_fld.il

   1 // Invalid CIL which breaks the ECMA-335,III,4.14 rules.
   2 // This CIL should fail verification by a conforming CLI verifier.
   3
   4 .assembly 'test_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 }
  15
  16 .method public static int32 Main() cil managed
  17 {
  18         .entrypoint
  19         .maxstack 2
  20         .locals init (
  21                 class c V_0
  22         )
  23         ldloc.0
  24         ldsfld int32 c::invalid // Invalid, no field invalid in class c.
  25         pop
  26         ldc.i4.0
  27         ret
  28 }
  29 // Invalid CIL which breaks the ECMA-335,III,4.14 rules.
  30 // This CIL should fail verification by a conforming CLI verifier.
  31
  32 .assembly 'test_generated'
  33 {
  34   .hash algorithm 0x00008004
  35   .ver  0:0:0:0
  36 }
  37
  38
  39 .class public auto ansi beforefieldinit c
  40         extends [mscorlib]System.Object
  41 {
  42 }
  43
  44 .method public static int32 Main() cil managed
  45 {
  46         .entrypoint
  47         .maxstack 2
  48         .locals init (
  49                 class c V_0
  50         )
  51         ldloc.0
  52         ldsfld int32 c::invalid // Invalid, no field invalid in class c.
  53         pop
  54         ldc.i4.0
  55         ret
  56 }