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.

--- Dave
_______________________________________________
splint-discuss mailing list
[EMAIL PROTECTED]
http://www.splint.org/mailman/listinfo/splint-discuss

Reply via email to