Frama-C Bug Tracking System - Frama-C
View Issue Details
0002248Frama-CKernelpublic2016-10-06 16:112016-12-08 10:16
Jochen 
virgile 
normaltextalways
assignedopen 
xubuntu
Frama-C Aluminium 
 
0002248: option "-print" prints array upper bound in type before parameter name, rather than after it
Running "frama-c -print ftest.c" on the attached program doesn't reproduce the input program; insteadt, it prints the "[a]" before the "b", not after it.
No tags attached.
c ftest.c (29) 2016-10-06 16:11
https://bts.frama-c.com/file_download.php?file_id=1117&type=bug
Issue History
2016-10-06 16:11JochenNew Issue
2016-10-06 16:11JochenFile Added: ftest.c
2016-10-07 14:53yakobowskiNote Added: 0006269
2016-12-08 10:16yakobowskiAssigned To => virgile
2016-12-08 10:16yakobowskiStatusnew => assigned
2016-12-08 10:16yakobowskiNote Added: 0006308

Notes
(0006269)
yakobowski   
2016-10-07 14:53   
The array size information is only stored as a C attribute, pretty-printed in a special way. Displaying it elsewhere is unfortunately not really easy.
(0006308)
yakobowski   
2016-12-08 10:16   
After more consideration, I'm not sure anything can be done. We will wait for Virgile's opinion, though.