コードインスペクション：ヒューリスティックに到達不能コード

他にも、JetBrains Rider は値と null 許容性や整数演算を分析し、それらの分析結果を使って決して実行されないコードを特定します。

次の例では、プログラムが list が null でない場合にのみ foreach ループに入るため、このインスペクションは Console.WriteLine("Error"); を到達不能と報告します。したがって、 list == null の条件はこのループ内で常に false となり、その結果、この条件内のコードは実行されません。

        
class Sample
{
    void Test(IEnumerable<string> list)
    {
        foreach (var str in list)
        {
            if (list == null)
                Console.WriteLine("Error"); // Code is unreachable
        }
    }
}

    
 

2026 年 6 月 12 日