--- layout: fc_discuss_archives title: Message 127 from Frama-C-discuss on December 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] problem with verify a list



Thank you very much, it works well.
Best Regards,
Chen.

2009/12/15 Virgile Prevosto <virgile.prevosto at cea.fr>

> Hello,
>
> Le mar. 15 d?c. 2009 14:58:18 CET,
> geng chen <chengeng4001 at gmail.com> a ?crit :
>
> > Thanks for your help. But there are still some problems. And this time I
> > only use a small piece of code.
> >
>
> > ./list.c:28:[kernel] user error: syntax error
>
> This line says it all: your code is not syntactically correct. gcc says
> more or less the same thing, admittedly in a slightly more explicit way:
> file2.c:28: error: expected ?=?, ?,?, ?;?, ?asm? or ?__attribute__?
> before ?T_VMK_ChainNode?
>
> The code you provided did not have a definition for VMK_INLINE (I
> assume it's something like #define VMK_INLINE inline). With such a
> definition and the -pp-annot option (since you must expanse NULL in
> annotations), this is parsed correctly.
>
> Hope this helps,
> --
> E tutto per oggi, a la prossima volta.
> Virgile
>
>
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20091216/cdc40895/attachment.htm