[splint-discuss] Preprocessing error , need help

[Ludolf Holzheid]

On Fri, 2006-08-25 10:45:19 +0800, jiping shao wrote:
> [..]
> /usr/include/arpa/inet.h:35:27: Parse Error. (For help on parse errors, see
>               splint -help parseerrors.)
> *** Cannot continue.

Usually, splint does not use system headers for two reasons:

(1) The system headers are not intended to be parse-able by compilers
    other than the system one (so they often use proprietary
    extensions).

(2) Splint works best on annotated source. The *.lcd libraries used by
    splint instead of the system headers are created from annotated
    headers (see e.g. lib/unix.h).


You might use the '+skipsysheaders' and '-sysdirs /usr/include' flags
to tell splint which are the system headers to skip.

Ludolf

-- 

---------------------------------------------------------------
Ludolf Holzheid             Tel:    +49 621 339960
Bihl+Wiedemann GmbH         Fax:    +49 621 3392239
Floßwörthstraße 41          e-mail: lholzheid at bihl-wiedemann.de
D-68199 Mannheim, Germany
---------------------------------------------------------------