[splint-discuss] 'splint' and sys/types.h

[ABDESSELEM Belkacem]

I think that u_int8_t is defined in UNIX not in POSIX. Try with +unixlib.
Belkacem


On 10/25/06, Roman Mashak <mrv at corecom.co.kr> wrote:
>
> Hello,
>
> I'm new to 'splint' and ran into tricky case.
>
> Snippet of simple code I'm running on RedHat 8.0 (glibc-2.2.93) is the
> following:
>
> #include <stdio.h>
> #include <stdlib.h>
> #include <sys/types.h>
> #include <netinet/ip.h>
>
> #define BUFSIZE 1500
>
> int main(void)
> {
>    ...
>
>    return 0;
> }
>
> And splint chokes on the line including netinet/ip.h:
>
> %splint +posixlib foo.c
> Splint 3.1.1 --- 08 Mar 2004
>
> usr/include/netinet/ip.h:31:13: Parse Error. (For help on parse errors,
> see
>                        splint -help parseerrors.)
> *** Cannot continue.
>
> The line 'splint' stuck on is:
>
> u_int8_t len;
>
> I followed documentation suggestions and enclosed the code with the lines:
>
> /*@-skipposixheaders@*/
> #include <sys/types.h>
> /*@=skipposixheaders@*/
> #include <netinet/ip.h>
>
> but it didn't help. What's the reason of such behavior and how to proceed?
>
> Thanks in advance.
>
> With best regards, Roman Mashak.  E-mail: mrv at corecom.co.kr
>
>
> _______________________________________________
> splint-discuss mailing list
> splint-discuss at ares.cs.Virginia.EDU
> http://www.cs.Virginia.EDU/mailman-2.1.5/listinfo/splint-discuss
>



-- 
B. Abdesselem
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.cs.Virginia.EDU/pipermail/splint-discuss/attachments/20061025/ee9b672e/attachment.htm