[splint-discuss] 'splint' and sys/types.h

[Brian Quinlan]

>  MW> Second, there's no guarantee that the result of preprocessing with gcc
>  MW> will be the same as what the Splint parser sees.  You still have to
>  MW> find out why you get that definition from sys/types.h when you
>  MW> preprocess with gcc, and not when you parse with Splint.
> Is there a way to see the output what 'splint' is parser?
> 
Hi Roman,
Use +keep on the splint command-line to keep temporary files. If you're
using gcc as your compiler, --save-temps has the same effect, so you can
compare its preprocessor output with that of Splint.

Bye,
Brian