logo       

Re: Preprocessing error , need help: msg#00013

programming.splint.general

Subject: Re: Preprocessing error , need help

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-pa3d53evP5wr4WOGcXBga7NAH6kLmebB@xxxxxxxxxxxxxxxx
D-68199 Mannheim, Germany
---------------------------------------------------------------


<Prev in Thread] Current Thread [Next in Thread>
Google Custom Search

News | FAQ | advertise