mono/tests/verifier/invalid_catch_block_starts_after_prefix.il

   1 // INVALID CIL
   2
   3
   4 .assembly 'invalid_overlap_exception_blocks_catch_block_start_in_the_middle_or_a_instruction_generated.il'
   5 {
   6   .hash algorithm 0x00008004
   7   .ver  0:0:0:0
   8 }
   9
  10 .method public static int32 Main() cil managed
  11 {
  12         .entrypoint
  13         .maxstack 8
  14         .locals init (object _X0, int32 V0)
  15
  16 TRY_BLOCK_1:
  17         nop
  18 TRY_BLOCK_1_A:
  19         nop
  20         newobj instance void class [mscorlib]System.Exception::.ctor()
  21         throw
  22         nop
  23         leave END
  24 TRY_BLOCK_1_END:
  25
  26         volatile.
  27 AFTER_PREFIX_2:
  28         unaligned. 1
  29         ldind.i4
  30         stloc.1
  31
  32         nop
  33         leave END
  34 CATCH_BLOCK_1_END:
  35
  36 END:
  37         ldloc.1
  38         ret
  39
  40         .try TRY_BLOCK_1 to TRY_BLOCK_1_END catch [mscorlib]System.Exception handler AFTER_PREFIX_2 to CATCH_BLOCK_1_END
  41 }