Merge branch 'master'
[mono.git] / mono / tests / verifier / valid_leave_before_try_block.il
1
2 // unverifiable CIL which breaks the ECMA-335 rules. 
3 // this CIL should fail verification by a conforming CLI verifier.
4
5 .assembly 'unverifiable_ret_generics_vt_4_generated'
6 {
7   .hash algorithm 0x00008004
8   .ver  0:0:0:0
9 }
10
11
12 .method public static int32 _Foo() cil managed
13 {
14         .entrypoint
15         .maxstack 8
16         .locals init ()
17
18         ldc.i4.0
19         leave EMPTY
20 EMPTY:
21
22         .try {
23                 leave END
24         } catch [mscorlib]System.InvalidCastException {
25                 leave END               
26         }        
27
28 END:
29         ldc.i4.0
30         ret
31 }