mono/tests/verifier/unverifiable_stack_2_ret.il

   1 // invalid CIL which breaks the ECMA-335 rules.
   2 // This CIL should fail verification by a conforming CLI verifier.
   3
   4 .assembly '_generated'
   5 {
   6   .hash algorithm 0x00008004
   7   .ver  0:0:0:0
   8 }
   9
  10 .class Class extends [mscorlib]System.Object
  11 {
  12     .field public int32 fld
  13 }
  14
  15 .method public static int32 Foo(int32 x) cil managed
  16 {
  17         .maxstack 2
  18         ldarg.0
  19         ldarg.0
  20         ret // invalid, stack with two elements.
  21 }
  22
  23 .method public static void Main() cil managed
  24 {
  25         .entrypoint
  26         .maxstack 2
  27         ldarg.0
  28         call int32 Foo(int32)
  29         pop
  30         ret
  31 }