.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} .class private auto ansi beforefieldinit Program extends [mscorlib]System.Object { .method public static hidebysig default void Main () cil managed { .entrypoint .maxstack 2 .locals init ( class [mscorlib]System.Exception V_0) nop nop TRY_START: nop nop ldloc.0 ldnull ceq brfalse MID leave END br MID2 nop MID: nop nop MID2: ldstr "a" call void class [mscorlib]System.Console::WriteLine(string) leave END leave END TRY_END: nop //This causes a crash since this BB will be unlinked and lack a native_offset CATCH_START: isinst [mscorlib]System.FormatException stloc.0 ldstr "b" call void class [mscorlib]System.Console::WriteLine(string) leave END nop END: .try TRY_START to TRY_END catch [mscorlib]System.Exception handler CATCH_START to END ret } }