[英]Why does frama-c yield a syntax error on this?
這是一個快速測試用例,它是從一個更大的程序中減少的,該程序使用frama-c NEON產生語法錯誤:
cat <<"EOF" > min.i
struct list;
typedef struct list list_t;
void list_merge(list_t *, list_t *, int (const void *, const void *));
EOF
frama-c -val min.i
frama-c是否限於我在這里違反的c99的某些子集?
void list_merge(int(int));
被Clang和GCC接受,但被http://cdecl.org/拒絕
這似乎是有效的語法(相關的是C11中6.7.7:1的abstract-declarator的定義):
abstract-declarator: pointer pointeropt direct-abstract-declarator direct-abstract-declarator: ( abstract-declarator ) direct-abstract-declaratoropt [ type-qualifier-listopt assignment-expressionopt ] direct-abstract-declaratoropt [ static type-qualifier-listopt assignment-expression ] direct-abstract-declaratoropt [ type-qualifier-list static assignment-expression ] direct-abstract-declaratoropt [ * ] direct-abstract-declaratoropt ( parameter-type-listopt )
換句話說,是的,Frama-C似乎僅限於函數參數的非奇怪抽象聲明符的子集。 這可能是一個簡單的遺漏,如果您進行報告,則可以修復。
聲明:本站的技術帖子網頁,遵循CC BY-SA 4.0協議,如果您需要轉載,請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.