JIT: True branch not executed

[jakobbotsch]

// Generated by Fuzzlyn v3.3 on 2026-02-15 16:12:11
// Run on X86 Windows
// Seed: 345838815179539746-vectort,vector128,vector256,x86aes,x86avx,x86avx2,x86avx512bw,x86avx512bwvl,x86avx512cd,x86avx512cdvl,x86avx512dq,x86avx512dqvl,x86avx512f,x86avx512fvl,x86bmi1,x86bmi2,x86fma,x86lzcnt,x86pclmulqdq,x86popcnt,x86sse,x86sse2,x86sse3,x86sse41,x86sse42,x86ssse3,x86x86base
// Reduced from 51.2 KiB to 0.8 KiB in 00:02:10
// Debug: Outputs 1
// Release: Outputs 0
using System.Runtime.Intrinsics;

public class C0
{
    public sbyte F2;
}

public class Program
{
    public static bool s_2 = true;
    public static C0 s_8 = new C0();
    public static sbyte s_9 = 1;
    public static Vector256<ushort> s_17;
    public static void Main()
    {
        M0();
        System.Console.WriteLine(s_8.F2);
    }

    public static void M0()
    {
        bool var5 = default(bool);
        if (!var5)
        {
            var5 = s_2;
            if (!var5)
            {
                return;
            }
        }

        if (!var5)
        {
            var5 = false;
        }

        s_17 = Vector256.Create<ushort>(1);
        if (var5)
        {
            s_8.F2 = s_9;
        }
    }
}

Bisected to/exposed by #123856, cc @EgorBo

[dotnet-policy-service]

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