Add regression test for dotnet#40607

src/tests/JIT/Regression/JitBlue/Runtime_40607/Runtime_40607.cs

@@ -0,0 +1,69 @@
+using System;
+using System.Runtime.CompilerServices;
+
+namespace Runtime_40607
+{
+ class Program
+ {
+ [MethodImpl(MethodImplOptions.AggressiveInlining)]
+ static bool WillBeInlined(out bool shouldBeFalse)
+ {
+ shouldBeFalse = false;
+ return true;
+ }
+
+ [MethodImpl(MethodImplOptions.NoInlining)]
+ [SkipLocalsInit]
+ static int DependsOnUnInitValue()
+ {
+ int retVal = 1;
+ bool shouldBeFalse;
+
+ while (WillBeInlined(out shouldBeFalse))
+ {
+ if (shouldBeFalse)
+ {
+ retVal = 0;
+ }
+ break;
+ }
+
+ return retVal;
+ }
+
+ [MethodImpl(MethodImplOptions.NoInlining)]
+ static unsafe int PoisonStackWith(uint fillValue)
+ {
+ int retVal = 1;
+ bool shouldBeFalse;
+
+ *(uint*)&shouldBeFalse = fillValue;
+
+ while (WillBeInlined(out shouldBeFalse))
+ {
+ if (shouldBeFalse)
+ {
+ retVal = 0;
+ }
+ break;
+ }
+
+ return retVal;
+ }
+
+ static int Main(string[] args)
+ {
+ PoisonStackWith(0xdeadbeef);
+
+ const int expected = 1;
+ int actual = DependsOnUnInitValue();
+
+ if (expected != actual)
+ {
+ return 0;
+ }
+
+ return 100;
+ }
+ }
+}

src/tests/JIT/Regression/JitBlue/Runtime_40607/Runtime_40607.csproj

@@ -0,0 +1,11 @@
+<Project Sdk="Microsoft.NET.Sdk">
+ <PropertyGroup>
+ <OutputType>Exe</OutputType>
+ <DebugType />
+ <Optimize>True</Optimize>
+ <AllowUnsafeBlocks>True</AllowUnsafeBlocks>
+ </PropertyGroup>
+ <ItemGroup>
+ <Compile Include="$(MSBuildProjectName).cs" />
+ </ItemGroup>
+</Project>