logo       

Re: parse error: msg#00019

programming.splint.general

Subject: Re: parse error

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-JtFlkrn/TZSSYBAHRPvY1A@xxxxxxxxxxxxxxxx> 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-Y5+ky9gHf7K61byRX2g7jjevRRvlBcP1@xxxxxxxxxxxxxxxx
http://www.cs.Virginia.EDU/mailman-2.1.5/listinfo/splint-discuss



--
B. Abdesselem _______________________________________________
splint-discuss mailing list
splint-discuss-Y5+ky9gHf7K61byRX2g7jjevRRvlBcP1@xxxxxxxxxxxxxxxx
http://www.cs.Virginia.EDU/mailman-2.1.5/listinfo/splint-discuss
<Prev in Thread] Current Thread [Next in Thread>
Google Custom Search

News | FAQ | advertise