0000519: int t[static 2] is not supported as function argument

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

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

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

Relationships

Relationships

Notes
There are no notes attached to this issue.

Notes

Date Modified	Username	Field	Change
Issue History
2010-06-25 12:28	pascal	New Issue
2010-07-01 09:33	virgile	Assigned To	=> virgile
2010-07-01 09:33	virgile	Status	new => acknowledged
2010-07-01 18:13	svn
2010-07-01 18:13	svn	Status	acknowledged => resolved
2010-07-01 18:13	svn	Resolution	open => fixed
2010-12-10 15:45	signoles	Fixed in Version	=> Frama-C Carbon-20101201-beta1
2010-12-17 19:36	signoles	Status	resolved => closed
2013-12-19 01:13		Source_changeset_attached	=> framac master 26ed9d70
2014-02-12 16:55		Source_changeset_attached	=> framac stable/neon 26ed9d70

Issue History