// Generated by Fuzzlyn v3.3 on 2025-12-07 15:16:42
// Run on X64 Windows
// Seed: 1178100487102642388-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 246.6 KiB to 0.4 KiB in 00:07:26
// Debug: Prints 1 line(s)
// Release: Prints 0 line(s)
public class C0
{
public byte F0;
public uint F2;
}
public class Program
{
public static void Main()
{
var vr7 = new C0[]
{
new C0()
};
if (1 >= (2147483646 + (ushort)(vr7[0].F2 - 1)))
{
C0 vr17 = new C0();
System.Console.WriteLine(vr17.F0);
}
}
}Bisected to #122040, cc @EgorBo @dotnet/jit-contrib
