JIT: Assertion failed 'verifiedSingleCallfinally' during 'Remove empty try 2'

[jakobbotsch]

// Generated by Fuzzlyn v2.4 on 2025-01-19 16:44:48
// Run on X64 Windows
// Seed: 11074933199834799452-vectort,vector128,vector256,x86aes,x86avx,x86avx2,x86avx512bw,x86avx512bwvl,x86avx512cd,x86avx512cdvl,x86avx512dq,x86avx512dqvl,x86avx512f,x86avx512fvl,x86avx512fx64,x86bmi1,x86bmi1x64,x86bmi2,x86bmi2x64,x86fma,x86lzcnt,x86lzcntx64,x86pclmulqdq,x86popcnt,x86popcntx64,x86sse,x86ssex64,x86sse2,x86sse2x64,x86sse3,x86sse41,x86sse41x64,x86sse42,x86sse42x64,x86ssse3,x86x86base
// Reduced from 35.0 KiB to 0.8 KiB in 00:01:40
// Hits JIT assert in Release:
// Assertion failed 'verifiedSingleCallfinally' in 'Program:M0()' during 'Remove empty try 2' (IL size 107; hash 0xaf50ff37; FullOpts)
// 
//     File: D:\a\_work\1\s\src\coreclr\jit\fgehopt.cpp Line: 624
// 
using System;
using System.Numerics;
using System.Runtime.Intrinsics;
using System.Runtime.Intrinsics.X86;

public class C2
{
}

public class Program
{
    public static void Main()
    {
        M0();
    }

    public static void M0()
    {
        bool var7 = default(bool);
        try
        {
            if (var7)
            {
                return;
            }
        }
        finally
        {
            C2[] var11 = new C2[]
            {
                new C2(),
                new C2(),
                new C2(),
                new C2(),
                new C2(),
                new C2(),
                new C2(),
                new C2(),
                new C2()
            };
        }

        System.Console.WriteLine(var7);
    }
}

cc @AndyAyersMS, looks like #111364 had this as a side effect

[dotnet-policy-service]

Tagging subscribers to this area: @JulieLeeMSFT, @jakobbotsch
See info in area-owners.md if you want to be subscribed.

[AndyAyersMS]

Possibly from dead callfinallies.

[AndyAyersMS]

Indeed.