Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002186Frama-CKernelpublic2015-11-03 16:082018-11-30 10:44
Reportersignoles 
Assigned Tovirgile 
PrioritynormalSeveritymajorReproducibilityalways
StatusclosedResolutionduplicate 
PlatformOSOS Version
Product VersionFrama-C Sodium 
Target VersionFixed in Version 
Summary0002186: 2D variable length array
Description2D variable length arrays are valid wrt C99 but rejected by Frama-C: ===== extern int n; int main(void) { int a[n]; // accepted int b[n][n]; // should be accepted, but refused return 0; } ===== $ frama-c a.i [kernel] Parsing FRAMAC_SHARE/libc/__fc_builtin_for_normalization.i (no preprocessing) [kernel] Parsing a.i (no preprocessing) a.i:4:[kernel] warning: Variable-sized local variable a a.i:5:[kernel] user error: Length of array is not a constant: n a.i:5:[kernel] warning: Variable-sized local variable b [kernel] user error: stopping on file "a.i" that has errors. [kernel] Frama-C aborted: invalid user input.
Additional InformationReported by email by G. Karpenkov
TagsNo tags attached.
Attached Files

- Relationships
duplicate of 0001718assignedvirgile Nested VLA are not supported 

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2015-11-03 16:08 signoles New Issue
2015-11-03 16:08 signoles Status new => assigned
2015-11-03 16:08 signoles Assigned To => virgile
2015-11-03 22:41 yakobowski Relationship added duplicate of 0001718
2018-11-30 10:44 signoles Status assigned => closed
2018-11-30 10:44 signoles Resolution open => duplicate


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker