[splint-discuss] HowTo specify DEFINES by CMD line

[Roland Illig]

Mike Werner schrieb:
> Hello,
> 
> my IDE specifies several defines when running the compiler. This e.g. lets
> the compiler know which platform specific headers should be included. When I
> run splint it complains that some types are missing.
> 
> How can I tell splint those defines so that it knows which headers to be
> included?

When you include one of the standard headers <stdio.h>, <ctype.h>,
<time.h>, SPlint doesn't include your system's headers but its own ones.
When you include other system headers, you should probably write your
own replacements for them, declaring what these headers provide, so that
SPlint can use it. You should then include these headers only for SPlint
at the very beginning of the header search path.

Roland