[splint-discuss] parse error

ABDESSELEM Belkacem aabelka at gmail.com
Mon Aug 28 10:03:46 EDT 2006


it work now,
thank you very much for your help.

Belkacem

On 8/28/06, Ludolf Holzheid <lholzheid at bihl-wiedemann.de> wrote:
>
> On Mon, 2006-08-28 08:56:22 +0200, ABDESSELEM Belkacem wrote:
> > [..]
> > in the line 110 column 11, there is a declaration of addr_t variable.
> > do splint not reconize system types.
>
> Hello Belkacem,
>
> addr_t is neither ISO nor POSIX, but part of the 'Open Group Single
> UNIX Specification'. You'll have to use the unix library (+unixlib) to
> check your code.
>
> Ludolf
>
> --
>
> ---------------------------------------------------------------
> Ludolf Holzheid             Tel:    +49 621 339960
> Bihl+Wiedemann GmbH         Fax:    +49 621 3392239
> Floßwörthstraße 41          e-mail: lholzheid at bihl-wiedemann.de
> D-68199 Mannheim, Germany
> ---------------------------------------------------------------
>
> _______________________________________________
> splint-discuss mailing list
> splint-discuss at ares.cs.Virginia.EDU
> http://www.cs.Virginia.EDU/mailman-2.1.5/listinfo/splint-discuss
>



-- 
B. Abdesselem
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.cs.Virginia.EDU/pipermail/splint-discuss/attachments/20060828/81c871e0/attachment-0001.htm


More information about the splint-discuss mailing list