it work now,<br>
thank you very much for your help.<br>
<br>
Belkacem<br><br><div><span class="gmail_quote">On 8/28/06, <b class="gmail_sendername">Ludolf Holzheid</b> &lt;<a href="mailto:lholzheid@bihl-wiedemann.de">lholzheid@bihl-wiedemann.de</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;">
On Mon, 2006-08-28 08:56:22 +0200, ABDESSELEM Belkacem wrote:<br>&gt; [..]<br>&gt; in the line 110 column 11, there is a declaration of addr_t variable.<br>&gt; do splint not reconize system types.<br><br>Hello Belkacem,<br>
<br>addr_t is neither ISO nor POSIX, but part of the 'Open Group Single<br>UNIX Specification'. You'll have to use the unix library (+unixlib) to<br>check your code.<br><br>Ludolf<br><br>--<br><br>---------------------------------------------------------------
<br>Ludolf
Holzheid&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
Tel:&nbsp;&nbsp;&nbsp;&nbsp;+49 621 339960<br>Bihl+Wiedemann GmbH&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Fax:&nbsp;&nbsp;&nbsp;&nbsp;+49 621 3392239<br>Floßwörthstraße 41&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;e-mail: <a href="mailto:lholzheid@bihl-wiedemann.de">lholzheid@bihl-wiedemann.de</a><br>D-68199 Mannheim, Germany
<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