0

使用 PC-Lint，我试图将头文件视为库头，以便我可以抑制其中的消息。我正在使用库模块选项+libm(module.c)，该选项应将 module.c 视为库模块，并将它包含的任何头文件（即 module.h）视为库头文件，如 v9.00 的 PC-Lint 手册第 6.1 节所述。当然，module.h 也包含在我的不是库模块的源文件中。

问题是，当我对代码进行 lint 时，即使我提供了+libm(module.c)选项，我仍然会从 module.h 收到消息。我怀疑这是因为 module.h 文件包含在我的其他非库模块中。但是这种情况是一个典型的用例，所以这使得这个+libm选项毫无用处。我知道我可以使用+libh(module.h)或者+libdir(...)但我想+libm(module.c)为我正常工作。有什么建议么？

4

1 回答 1

0

手册中没有这样介绍，但我的经验表明，并非库模块包含的所有头文件都被视为库。它们不能是：如果模块包含您自己的头文件，您希望明确处理的头文件怎么办？

使用 Lint 选项-vf（注意：大输出！）查看 Lint 如何解释您的头文件。库文件就是这样指定的。可以使用普通-lib*选项集添加缺少的那些。

于 2012-11-28T16:33:01.423 回答