PC-Lint を使用して、ヘッダー ファイルをライブラリ ヘッダーとして処理し、その内部からのメッセージを抑制できるようにしようとしています。+libm(module.c)v9.00 の PC-Lint マニュアルのセクション 6.1 で説明されているように、module.c をライブラリ モジュールとして扱い、それに含まれるすべてのヘッダー (つまり、module.h) をライブラリ ヘッダーとして扱うライブラリ モジュール オプションを使用しています。当然、module.h はライブラリ モジュールではない私のソース ファイルにも含まれています。
問題は、コードをリントすると、オプションを指定したにもかかわらず、module.h からメッセージが表示される+libm(module.c)ことです。これは、module.h ファイルが他の非ライブラリ モジュールに含まれているためだと思われます。しかし、このような状況は典型的な使用例であるため、この+libmオプションは役に立たなくなります。+libh(module.h)またはを使用できることはわかっていますが、適切に機能し+libdir(...)たいと考えています。+libm(module.c)助言がありますか？