Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000734Frama-CKernelpublic2011-02-21 16:452011-02-21 16:45
Reportersignoles 
Assigned Tocorrenson 
PrioritynormalSeveritytweakReproducibilityunable to reproduce
StatusassignedResolutionopen 
PlatformOSOS Version
Product VersionFrama-C Carbon-20110201 
Target VersionFixed in Version 
Summary0000734: Command.command_generic may raise Sys_error
DescriptionSince 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 ReproduceDon't know how to easily reproduce the issue, but I'm pretty sure it is possible :).
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2011-02-21 16:45 signoles New Issue
2011-02-21 16:45 signoles Status new => assigned
2011-02-21 16:45 signoles Assigned To => correnson


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker