View Issue Details [ Jump to Notes ] [ Related Changesets ] | [ Issue History ] [ Print ] |
ID | Project | Category | View Status | Date Submitted | Last Update |
0000519 | Frama-C | Kernel | public | 2010-06-25 12:28 | 2014-02-12 16:55 |
|
Reporter | pascal | |
Assigned To | virgile | |
Priority | normal | Severity | minor | Reproducibility | always |
Status | closed | Resolution | fixed | |
Platform | | OS | | OS Version | |
Product Version | Frama-C Boron-20100401 | |
Target Version | | Fixed in Version | Frama-C Carbon-20101201-beta1 | |
|
Summary | 0000519: int t[static 2] is not supported as function argument |
Description | The C99 feature allowing to declare arrays in function arguments is not supported by the parser.
To reproduce:
~/ppc $ cat p.c
void f(int t[static 2]);
~/ppc $ cat t.c
void f(int t[static 2])
{
return;
}
~/ppc $ bin/toplevel.opt t.c
[kernel] preprocessing with "gcc -C -E -I. t.c"
t.c:1:[kernel] user error: syntax error
[kernel] user error: skipping file "t.c" that has errors.
[kernel] Frama-C aborted because of an invalid user input.
~/ppc $ bin/toplevel.opt p.c
[kernel] preprocessing with "gcc -C -E -I. p.c"
p.c:1:[kernel] user error: syntax error
[kernel] user error: skipping file "p.c" that has errors.
[kernel] Frama-C aborted because of an invalid user input.
~/ppc $
|
Tags | No tags attached. |
|
Attached Files | |
|