|
These are for Flexelint from Gimpel
Hi,
Found this thread while googling something related. Don't know if this is still an issue for you, but wanted to pass this info along:
We resell the Gimpel PC-lint/Flexelint product and the lint comments in question are for it.
-esym(534... instructs Flexelint to ignore the return value for the functions specified. Those are third-party calls and so can make sense to suppress analysis results on them.
-efile(766... instructs Flexelint to suppress message 766 for the file pragma.h. Message 766 tags #include directives whose named header file is not used at all in the enclosing source program. Again, since pragma.h is third-party, it can make sense to suppress analysis results on it.
|