如何判断一个函数不能返回的ccc分析器（C语言静态分析器）

Question

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

现在在PC-Lint中，只要函数没有返回，我就可以告诉Lint。这通常通过/*lint -unreachable*/或控制PC-Lint行为的类似评论（“标记”）完成。因为我知道一个特定的函数永远不会返回（最终它会调用C运行库的exit函数），所以我现在正在运行一些我想压制的误报。有没有什么办法告诉static-build/ccc-analyzer我的功能不能返回？

Answer 1

原来有一种方法可以使用GCC样式的属性来注释代码，如documented here。所以这个问题得到了回答。