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