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 - 2018 MantisBT Team
Powered by Mantis Bugtracker