V3125在返回后有空语句时误报

Question

此最小示例触发V3125关于member在针对null验证后使用。如果我在第一个返回语句V3125不再被触发后删除了额外的分号。

public class PVS_nullcheck
{
    private object member;

    public int Method()
    {
        if (member == null)
        {
            return 0;
            ; // <-- 3125
        }

        return member.GetHashCode();
    }
}

Answer 1

感谢您的反馈。我们已经修复了这个错误警报，修复程序将在PVS-Studio的下一个版本中提供。您可以从here下载最新的测试版。