问使用splint检测逻辑流始终为假
EN

Stack Overflow用户

提问于 2020-06-24 04:26:24

回答 1查看 34关注 0票数 2

是否可以使用拼板设置标志来检测此逻辑故障？

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

第二个变量a是一个拼写错误。应该是b。

我试过+ifempty和+ifblock，结果发现它们是用来做别的事情的。有什么建议吗？还是说它超越了夹板？

发布于 2020-06-24 15:09:19

PVS-Studio可以使用V560诊断程序发现这样的错误。示例：https://godbolt.org/z/JA-Kmm

票数 1

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/62543187

复制

相似问题

问使用splint检测逻辑流始终为假EN