--- layout: fc_discuss_archives title: Message 127 from Frama-C-discuss on December 2009 ---
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