如何告诉ccc-analyzer(clang中的C静态分析器)函数无法返回

时间:2012-08-10 23:02:24

标签: clang clang-static-analyzer

我目前正通过ccc-analyzer使用static-build来分析我们的代码库。我正在使用我最近使用Git镜像制作的版本。

现在在PC-Lint中,只要函数没有返回,我就可以告诉Lint。这通常通过/*lint -unreachable*/或控制PC-Lint行为的类似注释(“标记”)来完成。

使用scan-build我现在遇到了许多我想要抑制的误报,因为我知道特定的函数永远不会返回(最终它会调用C的exit函数运行)。有没有办法告诉static-build / ccc-analyzer我的函数无法返回?

1 个答案:

答案 0 :(得分:0)

事实证明,有一种方法可以使用GCC样式的属性documented here来注释代码。所以问题得到了回答。