return 后有空语句时的 V3125 误报

Question

此最小示例触发 V3125 关于 member 在验证是否为空后被使用。如果我在第一个 return 语句后删除多余的分号，则不再触发 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.

下载最新的测试版

return 后有空语句时的 V3125 误报

V3125 false positive when having empty statement after return

pvs-studio