mono/tests/verifier/invalid_backward_branch.il

   1 // Invalid CIL which breaks the ECMA-335,III,1.7.5 rule "Backward branch
   2 // constraints". This CIL should be rejected by a conforming CLI verifier
   3 // or runtime without being run.
   4
   5 .assembly 'test_generated'
   6 {
   7   .hash algorithm 0x00008004
   8   .ver  0:0:0:0
   9 }
  10
  11
  12
  13 .method public static int32 Main() cil managed
  14 {
  15         .entrypoint
  16         .maxstack 1
  17         br end
  18         branch_target: // Follows unconditional branch, stack empty.
  19         ldc.i4.0
  20         br branch_target // Stack not empty, invalid.
  21         end:
  22         ldc.i4.0
  23         ret
  24 }