Frama-C Bug Tracking System - Frama-C
View Issue Details
0000192Frama-CKernelpublic2009-07-15 12:522014-02-12 16:56
lukaszc 
pascal 
normalcrashalways
closedfixed 
Frama-C Beryllium-20090601-beta1 
Frama-C Beryllium-20090901 
0000192: -ocode causes crach
frama-c -ocode ends with crash
No tags attached.
Issue History
2009-07-15 12:52lukaszcNew Issue
2009-07-20 10:27pascalStatusnew => assigned
2009-07-20 10:27pascalAssigned To => pascal
2009-07-20 10:28pascalNote Added: 0000280
2009-07-20 10:28pascalStatusassigned => acknowledged
2009-07-20 11:08svnCheckin
2009-07-20 11:08svnStatusacknowledged => resolved
2009-07-20 11:08svnResolutionopen => fixed
2009-08-26 11:25signolesFixed in Version => Frama-C Beryllium
2009-09-02 10:54signolesStatusresolved => closed

Notes
(0000280)
pascal   
2009-07-20 10:28   
Well found. Workaround: always use a filename as the argument to option -ocode. Example: ~/ppc $ bin/toplevel.opt -ocode [kernel] error: unexpected error Invalid_argument("index out of bounds") [kernel] error: please report as `crash' at http://bts.frama-c.com ~/ppc $ bin/toplevel.opt -ocode toto.c ~/ppc $