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

[Roman Mashak]

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