--- layout: fc_discuss_archives title: Message 125 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



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