mono/tests/verifier/invalid_call_empty_stack.il

   1 // Invalid CIL which breaks the ECMA-335,III,3.19 rule.
   2 // This CIL should fail verification by a conforming CLI verifier.
   3
   4
   5 .assembly 'test_generated'
   6 {
   7   .hash algorithm 0x00008004
   8   .ver  0:0:0:0
   9 }
  10
  11
  12 .method public static int32 f(int32 i) cil managed
  13 {
  14         ldc.i4.0
  15         ret
  16 }
  17
  18 .method public static int32 Main() cil managed
  19 {
  20         .entrypoint
  21         .maxstack 1
  22         call int32 f(int32) // Invalid, stack empty.
  23         ret
  24 }