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

ReSharper は、他にも値と 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 日