mono/tests/verifier/unverifiable_unbox_toke_is_reference_type.il

   1
   2 // valid CIL which breaks the ECMA-335 rules.
   3 // this CIL should fail verification by a conforming CLI verifier.
   4
   5 .assembly 'valid_bin_cgt_un_null_value_generated'
   6 {
   7   .hash algorithm 0x00008004
   8   .ver  0:0:0:0
   9 }
  10
  11 .class public auto ansi sealed MyEnum extends [mscorlib]System.Enum
  12 {
  13         .field  public specialname  rtspecialname  int32 value__
  14         .field public static  literal  valuetype MyEnum Boolean = int32(0x00000026)
  15 }
  16
  17
  18 .method public static int32 Main() cil managed
  19 {
  20         .entrypoint
  21         .maxstack 8
  22         .locals init (object arr)
  23
  24         ldnull
  25         unbox object
  26         pop
  27
  28         ldc.i4.0
  29         ret
  30 }