-.assembly 'invalid_fallout_of_finally_block'
+.assembly extern mscorlib
{
+ .ver 2:0:0:0
+ .publickeytoken = (B7 7A 5C 56 19 34 E0 89 ) // .z\V.4..
+}
+.assembly 'bug'
+{
+ .custom instance void class [mscorlib]System.Runtime.CompilerServices.RuntimeCompatibilityAttribute::'.ctor'() = (
+ 01 00 01 00 54 02 16 57 72 61 70 4E 6F 6E 45 78 // ....T..WrapNonEx
+ 63 65 70 74 69 6F 6E 54 68 72 6F 77 73 01 ) // ceptionThrows.
+
.hash algorithm 0x00008004
.ver 0:0:0:0
}
+.module bug.exe // GUID = {7CDDF4B6-7581-4902-9709-6155199DC325}
-.method public static int32 Main() cil managed
+
+.class private auto ansi beforefieldinit Program extends [mscorlib]System.Object
{
- .entrypoint
- .maxstack 8
- .locals init (int32 V0)
+ .method public static hidebysig default void __Main () cil managed
+ {
+ //.entrypoint
+ .maxstack 2
+ ret
+ }
-BB_00:
- newobj instance void class [mscorlib]System.Exception::.ctor()
- throw
- leave END
-BB_01:
-BB_02:
+ .method public static default void Main () cil managed
+ {
+ .entrypoint
+ .maxstack 2
+ .locals init (int32 loc0)
+
nop
nop
-BB_03:
-
+ ldc.i4.0
+ stloc.0
+
+ .try {
+ nop
+ ldc.i4.0
+ brfalse ELSE
+ leave END
+ELSE:
+ nop
+ leave END
+ } finally {
+ nop
+ //endfinally
+ }
+END0:
+ endfinally
+ nop
END:
- ldc.i4.0
- ret
-
-.try BB_00 to BB_01 finally handler BB_02 to BB_03
-
+ ret
+ }
}
+