Command.command_generic may raise Sys_error
ID0000734: This issue was created automatically from Mantis Issue 734. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000734 | Frama-C | Kernel | public | 2011-02-21 | 2011-02-21 |
| Reporter | signoles | Assigned To | correnson | Resolution | open |
| Priority | normal | Severity | tweak | Reproducibility | unable to reproduce |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Carbon-20110201 | Target Version | - | Fixed in Version | - |
Description :
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.
Steps To Reproduce :
Don't know how to easily reproduce the issue, but I'm pretty sure it is possible :).