Frama-C Bug Tracking System - Frama-C
View Issue Details
0001352Frama-CKernelpublic2013-01-28 17:302014-03-13 15:57
signoles 
virgile 
normalminoralways
closedfixed 
 
Frama-C Neon-20140301 
0001352: Error message could be better
On the following incorrect file: === bug.i === int main(void) { int t /* [5] missing */ = { 1, 2, 3, 4, 5 }; } ============= frama-c reports: $ frama-c bug.i bug.i:2:[kernel] failure: doInit: unexpected NEXT_INIT for int [kernel] user error: skipping file "tests/fusy/lval.i" that has errors. [kernel] Frama-C aborted: invalid user input. This message is not very helpful...
No tags attached.
Issue History
2013-01-28 17:30signolesNew Issue
2013-01-28 17:30signolesStatusnew => assigned
2013-01-28 17:30signolesAssigned To => virgile
2013-01-28 17:34virgileStatusassigned => confirmed
2013-07-04 14:25svnCheckin
2013-07-04 14:25svnStatusconfirmed => resolved
2013-07-04 14:25svnResolutionopen => fixed
2014-02-12 16:57Note Added: 0004568
2014-03-13 15:56signolesFixed in Version => Frama-C Neon-20140301
2014-03-13 15:57signolesStatusresolved => closed

Notes
(0004568)
   
2014-02-12 16:57   
Fix committed to stable/neon branch.