mono/tests/verifier/unverifiable_m_ptr_ldloc.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 .method public static void Foo() cil managed
  18 {
  19         .maxstack 2
  20         .locals init (
  21                 method int32 *(float64) L0
  22         )
  23         ldloc.0
  24         //The verifier performs DSE before looking at unverifiable types
  25         stloc.0
  26         ret
  27 }
  28
  29 .method public static void Main() cil managed
  30 {
  31         .maxstack 2
  32         .entrypoint
  33         call void Foo()
  34         ret
  35 }