Frama-C Bug Tracking System - Frama-C
View Issue Details
0000734Frama-CKernelpublic2011-02-21 16:452011-02-21 16:45
signoles 
correnson 
normaltweakunable to reproduce
assignedopen 
Frama-C Carbon-20110201 
 
0000734: Command.command_generic may raise Sys_error
Since Command.command_generic uses Filename.open_temp_file, it may raise Sys_error (see caml bts #5228, http://caml.inria.fr/mantis/view.php?id=5228). Either change the spec of impacted Command's functions, or change Command's implem. Or both. See for instance how Extlib.temp_file_cleanup_at_exit solves this issue.
Don't know how to easily reproduce the issue, but I'm pretty sure it is possible :).
No tags attached.
Issue History
2011-02-21 16:45signolesNew Issue
2011-02-21 16:45signolesStatusnew => assigned
2011-02-21 16:45signolesAssigned To => correnson

There are no notes attached to this issue.