[splint-discuss] Preprocessor output?

[Mark Glines]

Hi,

I am trying to run splint on the Parrot codebase (www.parrotcode.org),
and having a difficult time of it.  I have worked through several
issues involving non-ANSI code and system header problems and so forth,
but now I'm stuck.

It would be very helpful to get access to the preprocessed source that
splint is actually trying to parse.  Is there a command line option
which convinces splint to output its preprocessor output to stdout, or
stderr or a log file or something?

In other words, a splint equivalent of the gcc options '-E' and maybe
'-dD' would be very helpful.  Does such a thing exist?

Thanks,

Mark