mono/tests/verifier/valid_isinst_with_boxed_valuetype.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 .method public static int32 Main() cil managed
  12 {
  13         .entrypoint
  14         .maxstack 2
  15         .locals init ()
  16
  17         ldc.i4 987
  18         box [mscorlib]System.Int32
  19
  20         isinst [mscorlib]System.Int32
  21         unbox [mscorlib]System.Int32
  22         ldind.i4
  23         call void [mscorlib]System.Console::WriteLine(int32)
  24
  25         ldc.i4.0
  26         ret
  27 }
  28