I have resolve the problem. i have added +unixlib in the command.<br>
thank you very mech for your help<br>
<br>
<br><br><div><span class="gmail_quote">On 8/29/06, <b class="gmail_sendername">Richard A. O'Keefe</b> &lt;<a href="mailto:ok@cs.otago.ac.nz">ok@cs.otago.ac.nz</a>&gt; wrote:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;in the line 110 column 11, there is a declaration of addr_t variable.<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;do splint not reconize system types.<br><br>addr_t is not a built in language type.<br>It is just another typedef, as if you had written
<br>&nbsp;&nbsp;&nbsp;&nbsp;typedef
char
*addr_t;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
/* Classic */<br>or<br>&nbsp;&nbsp;&nbsp;&nbsp;typedef void
*addr_t;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
/* C89 */<br>Splint will recognise it just like it recognises any other typedef name,<br>that is, IF it has been correctly declared.<br><br>Look a little wider.&nbsp;&nbsp;What other tokens are nearby?<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