вопрос по Splint Опции

[romez777]

Приветствую.

ОС - RedHat 8.0, glibc-2.2.93
Есть простой код, использующий netinet/ip.h:

#include <stdio.h>
#include <stdlib.h>
#include <sys/types.h>
#include <netinet/ip.h>

#define BUFSIZE 1500
...

Splint спотыкается на строчке из этого файла (u_int8_t len; тип u_int8_t определен в sys/types.h):

%splint +posixlib foo.c
Splint 3.0.1.6 --- 27 May 2002

usr/include/netinet/ip.h:31:13: Parse Error. (For help on parse errors, see
splint -help parseerrors.)
*** Cannot continue.


По совету из документации сделал так:

/*@-skipposixheaders@*/
#include <sys/types.h>
/*@=skipposixheaders@*/
#include <netinet/ip.h>
...

Но не помогло, все равно ругается. В чем же дело?
Заранее благодарю.