mono/tests/verifier/valid_stelem_ref_boxed_value.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 8
  15         .locals init (int32 bla)
  16
  17         ldc.i4 987
  18         stloc.0
  19
  20         ldstr "Value is {0}"
  21
  22         //array
  23         ldc.i4 10
  24         newarr object
  25
  26         dup
  27
  28         //index
  29         ldc.i4.2
  30
  31         //value
  32         ldloc.0
  33         box [mscorlib]System.Int32
  34
  35         //array store (array, index, value) -> .
  36         stelem.ref
  37
  38         call void class [mscorlib]System.Console::WriteLine(string, object[])
  39
  40         ldc.i4.0
  41         ret
  42 }