[splint-discuss] bug with -load flag

Jay A. St. Pierre Jay.St.Pierre at Colorado.EDU
Mon Nov 3 01:07:01 EST 2003

On Mon, 3 Nov 2003, David Evans wrote:

> On Sun, 2 Nov 2003, Jay A. St. Pierre wrote:
> >
> > So why does it parse uio.h but not vxTypes.h?  Is there any way
> > to figure out in what order splint is including files and which
> > files it is deciding to parse?  Or is there a way to generate the
> > preprocessed file that splint parses?
> >
> If you use +keep, you can examine the preprocessor output files.
> Neither uio.h nor vxTypes.h is in the list of excluded standard headers.
> The different behavior is probably based on which files include them.

Thanks.  With the output of the preprocessor, I was able to see
that uio.h also gets included by ioLib.h (non-standard header),
but vxTypes.h is only included through sys/types.h (posix

Ugh.  The vxWorks header files include many of the standard and 
posix header files, but they also define many extensions (mostly 
unix-like things).  This means I either have to add a bunch more 
items to an extended posix library, or I have to let splint parse 
the header files.  If I let splint parse the header files, it 
chokes in environments where stdargs.h is provided by gcc 3.x.

Obviously, extending our local "posix" library is the correct 
choice, but that's not happening tonight. :)

Thanks for all your help.


More information about the splint-discuss mailing list