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 .method public static int32 f(int32 i) cil managed
   5 {
   6         ldc.i4.0
   7         ret
   8 }
   9
  10 .method public static int32 Main() cil managed
  11 {
  12         .entrypoint
  13         .maxstack 1
  14         call int32 f(int32) // Invalid, stack empty.
  15         ret
  16 }