c - 如果逻辑流，使用夹板检测总是错误的

Question

可以用夹板设置一个标志来检测这个逻辑故障吗？

if((a > 0) && (a == 0)){...}

第二个变量a是一个错字。它应该是b。

我试过了+ifempty，+ifblock结果证明它们是为了别的东西。有什么建议么？还是超出了夹板？

标签： cstatic-code-analysissplint

Answer 1

PVS-Studio 可以使用V560诊断找到此类错误。示例：https ://godbolt.org/z/JA-Kmm