Frama-C Bug Tracking System - Frama-C
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0000197Frama-CKernelpublic2009-07-21 15:032014-02-12 16:56
Reporterrbonichon 
Assigned Tosignoles 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOpenBSDOS Version
Product VersionFrama-C GIT, precise the release id 
Target VersionFixed in VersionFrama-C Beryllium-20090901 
Summary0000197: Options -debug and -verbose for dynamic plug-ins do not work
DescriptionCLI options -debug and which are made automagically available for dynamic plug-ins (as document by frama-c --help do not actually seem to exist at all as they are not recognized as valid CLI options. In the case of the mthread plug-in it ends with the following message: [kernel] error: option `-mthread-debug' is unknown. [kernel] error: use `frama-c -help' for more information.
Steps To Reproduce
Additional Information
TagsNo tags attached.
Relationships
Attached Files
Issue History
Date ModifiedUsernameFieldChange
2009-07-21 15:03rbonichonNew Issue
2009-07-21 15:03rbonichonStatusnew => assigned
2009-07-21 15:03rbonichonAssigned To => correnson
2009-07-21 15:48corrensonNote Added: 0000285
2009-07-21 15:50corrensonNote Added: 0000286
2009-07-21 15:50corrensonStatusassigned => resolved
2009-07-21 15:50corrensonFixed in Version => Frama-C svn, precise the release id
2009-07-21 15:50corrensonResolutionopen => fixed
2009-07-21 15:50corrensonStatusresolved => assigned
2009-07-21 15:50corrensonAssigned Tocorrenson => signoles
2009-07-22 15:48svnCheckin
2009-07-22 16:08corrensonNote Added: 0000294
2009-07-22 16:15corrensonNote Deleted: 0000294
2009-07-22 16:16svnCheckin
2009-07-23 13:53signolesNote Added: 0000298
2009-07-23 13:53signolesStatusassigned => resolved
2009-07-23 15:14svnCheckin
2009-07-27 10:23svnCheckin
2009-09-02 10:54signolesStatusresolved => closed
2009-09-23 16:57signolesFixed in VersionFrama-C svn, precise the release id => Frama-C Beryllium

Notes
(0000285)
correnson   
2009-07-21 15:48   
LC: I'm not sure the following line is the correct fix for bug #197 We must face the following problem: - Statically linked plugins: options are registered BEFORE the Early stage of parsing - Dynamically linked ones: options are registered DURING the Extending stage of parsing Thus, all dynamically linked plugins *should* never register options for the Early and Extending stages. => what about the verbose and debug options ??? I suggest to parse the -xxx-debug and -xxx-verbose options and the loading phase (thus, just before the configuring phase. To be confirmed by Julien.
(0000286)
correnson   
2009-07-21 15:50   
SVN version 5802 To be confirmed by Julien.
(0000298)
signoles   
2009-07-23 13:53   
The Loïc's patch is ok.