[splint-discuss] parse error

ABDESSELEM Belkacem aabelka at gmail.com
Tue Aug 29 02:45:25 EDT 2006


I have resolve the problem. i have added +unixlib in the command.
thank you very mech for your help



On 8/29/06, Richard A. O'Keefe <ok at cs.otago.ac.nz> wrote:
>
>         in the line 110 column 11, there is a declaration of addr_t
> variable.
>         do splint not reconize system types.
>
> addr_t is not a built in language type.
> It is just another typedef, as if you had written
>     typedef char *addr_t;               /* Classic */
> or
>     typedef void *addr_t;               /* C89 */
> Splint will recognise it just like it recognises any other typedef name,
> that is, IF it has been correctly declared.
>
> Look a little wider.  What other tokens are nearby?
> _______________________________________________
> 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/20060829/98256870/attachment.htm


More information about the splint-discuss mailing list