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

【问题标题】：Use splint to detect always false if logic flow如果逻辑流，使用夹板检测总是错误的
【发布时间】：2020-10-14 00:17:42
【问题描述】：

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

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

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

我尝试过+ifempty 和+ifblock，结果发现它们是为了别的目的。有什么建议？还是超出了夹板？

【问题讨论】：

【解决方案1】：

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

【讨论】：