V3125 返回后有空语句时误报

Question

这个最小的示例触发 V3125 关于 member 在验证为空后被使用。如果我在第一个返回语句 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下载最新的测试版。