使用PC-Lint，我试图将头文件视为库头，以便我可以抑制其中的消息。我正在使用库模块选项+libm(module.c)，它应该将module.c视为库模块，并将它包含的任何头文件（即module.h）作为库头文件，如v9的PC-Lint手册第6.1节所述.00。当然，module.h也包含在我的源文件中，而不是库模块。
问题在于，当我提示代码时，即使我提供了+libm(module.c)选项，我仍然会从module.h获取消息。我怀疑这是因为module.h文件包含在我的其他非库模块中。但是这种情况是一个典型的用例，所以这使得这个+libm选项变得毫无用处。我知道我可以使用+libh(module.h)或+libdir(...)，但我希望+libm(module.c)能够正常使用我。有什么建议吗？
答案 0 :(得分：0)
手册中没有这样的内容，但我的经验表明，并非库模块中包含的所有头文件都被视为库。它们不能是：如果模块包含您自己的头文件，您希望显式处理的头文件会怎么样？
使用Lint选项-vf（警告：大输出！）来查看Lint如何解释您的头文件。库文件如此指定。
可以使用正常的-lib*选项集添加缺失的那些。