<div>I think that u_int8_t is defined in UNIX not in POSIX. Try with +unixlib.</div>
<div>Belkacem<br><br> </div>
<div><span class="gmail_quote">On 10/25/06, <b class="gmail_sendername">Roman Mashak</b> <<a href="mailto:mrv@corecom.co.kr">mrv@corecom.co.kr</a>> wrote:</span>
<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">Hello,<br><br>I'm new to 'splint' and ran into tricky case.<br><br>Snippet of simple code I'm running on RedHat
8.0 (glibc-2.2.93) is the<br>following:<br><br>#include <stdio.h><br>#include <stdlib.h><br>#include <sys/types.h><br>#include <netinet/ip.h><br><br>#define BUFSIZE 1500<br><br>int main(void)<br>{<br>
...<br><br> return 0;<br>}<br><br>And splint chokes on the line including netinet/ip.h:<br><br>%splint +posixlib foo.c<br>Splint 3.1.1 --- 08 Mar 2004<br><br>usr/include/netinet/ip.h:31:13: Parse Error. (For help on parse errors, see
<br> splint -help parseerrors.)<br>*** Cannot continue.<br><br>The line 'splint' stuck on is:<br><br>u_int8_t len;<br><br>I followed documentation suggestions and enclosed the code with the lines:<br>
<br>/*@-skipposixheaders@*/<br>#include <sys/types.h><br>/*@=skipposixheaders@*/<br>#include <netinet/ip.h><br><br>but it didn't help. What's the reason of such behavior and how to proceed?<br><br>Thanks in advance.
<br><br>With best regards, Roman Mashak. E-mail: <a href="mailto:mrv@corecom.co.kr">mrv@corecom.co.kr</a><br><br><br>_______________________________________________<br>splint-discuss mailing list<br><a href="mailto:splint-discuss@ares.cs.Virginia.EDU">
splint-discuss@ares.cs.Virginia.EDU</a><br><a href="http://www.cs.Virginia.EDU/mailman-2.1.5/listinfo/splint-discuss">http://www.cs.Virginia.EDU/mailman-2.1.5/listinfo/splint-discuss</a><br></blockquote></div><br><br clear="all">
<br>-- <br>B. Abdesselem