代码检查：根据整数分析导致的启发式不可达情况

此检查报告根据整数值分析结果永远不会执行的 switch 语句的情况。此检查仅在分析整数算术在 JetBrains Rider 设置的编辑器 | 检查设置页面上启用时有效 Ctrl+Alt+S。

以下是一个示例，展示如何使用 [NonNegativeValueAttribute]注释方法参数，以优化方法体内的分析。知道参数是非负的，JetBrains Rider 可以报告冗余情况：

        void TestSwitch([NonNegativeValue] int input)
        {
            int newValue;
            switch (input)
            {
                case 0:
                    newValue = 1;
                    break;
                case -1:  // Case is heuristically unavailable
                    newValue = 0;
                    break;
                default:
                    newValue = input;
                    break;
            }
        }

            
 

最后修改日期： 2025年 9月 26日