[解決済み] リリースモードとデバッグモードでコードの動作が異なるのはなぜですか？

疑問点

以下のコードを考えてみましょう。

private static void Main(string[] args)
{
    var ar = new double[]
    {
        100
    };

    FillTo(ref ar, 5);
    Console.WriteLine(string.Join(",", ar.Select(a => a.ToString()).ToArray()));
}

public static void FillTo(ref double[] dd, int N)
{
    if (dd.Length >= N)
        return;

    double[] Old = dd;
    double d = double.NaN;
    if (Old.Length > 0)
        d = Old[0];

    dd = new double[N];

    for (int i = 0; i < Old.Length; i++)
    {
        dd[N - Old.Length + i] = Old[i];
    }
    for (int i = 0; i < N - Old.Length; i++)
        dd[i] = d;
}

デバッグモードでの結果は、100,100,100,100,100となります。 しかし、リリースモードでは次のようになります。100,100,100,100,0.

何が起こっているのでしょうか？

.NET framework 4.7.1 と .NET Core 2.0.0 を使用してテストされました。

どのように解決するのですか？

これはJITのバグと思われます。

// ... existing code unchanged
for (int i = 0; i < N - Old.Length; i++)
{
    // Console.WriteLine(i); // <== comment/uncomment this line
    dd[i] = d;
}

を追加し、さらに Console.WriteLine(i) を追加すると修正されます。ILの変更点はただ一つ。

// ...
L_0040: ldc.i4.0 
L_0041: stloc.3 
L_0042: br.s L_004d
L_0044: ldarg.0 
L_0045: ldind.ref 
L_0046: ldloc.3 
L_0047: ldloc.1 
L_0048: stelem.r8 
L_0049: ldloc.3 
L_004a: ldc.i4.1 
L_004b: add 
L_004c: stloc.3 
L_004d: ldloc.3 
L_004e: ldarg.1 
L_004f: ldloc.0 
L_0050: ldlen 
L_0051: conv.i4 
L_0052: sub 
L_0053: blt.s L_0044
L_0055: ret 

対

// ...
L_0040: ldc.i4.0 
L_0041: stloc.3 
L_0042: br.s L_0053
L_0044: ldloc.3 
L_0045: call void [System.Console]System.Console::WriteLine(int32)
L_004a: ldarg.0 
L_004b: ldind.ref 
L_004c: ldloc.3 
L_004d: ldloc.1 
L_004e: stelem.r8 
L_004f: ldloc.3 
L_0050: ldc.i4.1 
L_0051: add 
L_0052: stloc.3 
L_0053: ldloc.3 
L_0054: ldarg.1 
L_0055: ldloc.0 
L_0056: ldlen 
L_0057: conv.i4 
L_0058: sub 
L_0059: blt.s L_0044
L_005b: ret 

というのは全く同じに見えますが（唯一の違いは、余分な ldloc.3 と call void [System.Console]System.Console::WriteLine(int32) には、異なるが同等のターゲットが設定されている。 br.s ).

JIT 修正が必要だと思います。

環境です。

• Environment.Version : 4.0.30319.42000
• <TargetFramework>netcoreapp2.0</TargetFramework>
• VS: 15.5.0 プレビュー 5.0
• dotnet --version : 2.1.1