如何告诉ccc analyzer（C static analyzer in clang）函数无法返回

我目前正在使用

ccc分析器

通过

静态构建

来分析我们的代码库。我使用的是从Git镜像生成的最新版本

现在在pclint中，每当函数不返回时，我就可以告诉Lint。这通常通过

/*lint-不可访问的*/

或控制PC lint行为的类似注释（“标记”）来完成

---

使用

scan build

时，我现在遇到了一些我想要抑制的误报，因为我知道某个特定函数永远不会返回（最终它调用C运行时的

exit

函数）。有没有办法告诉

静态构建

/

ccc analyzer

我的函数无法返回？

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