Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[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,

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

> Hello,
> Le mar. 15 d?c. 2009 14:58:18 CET,
> geng chen <chengeng4001 at> 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
-------------- next part --------------
An HTML attachment was scrubbed...