コードインスペクション: 整数分析によるヒューリスティックに到達不可能な switch アーム

このインスペクションは、整数値分析の結果に従って実行されることのない switch 式のアームを報告します。インスペクションは、JetBrains Rider 設定 Ctrl+Alt+S のエディター | インスペクション設定ページで整数演算を分析する⁠ が有効化されている場合にのみ機能します。

これは、メソッドパラメーターに [NonNegativeValueAttribute] でアノテーションを付けて、メソッド本体内の分析を改善する例です。パラメーターが負でないことがわかっている場合、JetBrains Rider は冗長なケースを報告できます：

        void TestSwitch([NonNegativeValue] int input)
        {
            var newValue = input switch
            {
                0 => 1,
                -1 => 0, // Case is heuristically unreachable
                _ => input,
            };
        }

            
 

2026 年 6 月 12 日