使用 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)
为我正常工作。有什么建议么?