Frama-C Bug Tracking System - Frama-C
View Issue Details
0000821Frama-CDocumentation > manualspublic2011-05-11 14:262016-06-21 14:20
Assigned Tosignoles 
PlatformOSOS Version
Product VersionFrama-C Carbon-20110201 
Target VersionFixed in VersionFrama-C Nitrogen-20111001 
Summary0000821: Wrong module name for the function prepareCFG and computeCFGInfo in the Frama-C Carbon html API.
DescriptionInside the Cil_types.html API documentation page, the function Cil.prepareCFG and Cil.computeCFGInfo are referenced as being part of the module Cil.
Those information are exact for the Boron version of FRAMA-C, however in the
Frama-c Carbon version both functions are located in the module Cfg.

Best regards,
Additional InformationWe are currently operating the migration of an experimental plugin, from
the Boron version to the current version of Carbon. Unfortunately, we didn't
used many function. It is possible that we didn't noticed other ill-referenced functions.

 We anyway noticed that the function Ast_info.loc_stmt isn't anymore present
within the Ast_info module, and we weren't able to find an equivalent one elsewhere. Therefore, we wrote our own.
TagsNo tags attached.
Attached Files

2011-05-11 16:44   
loc_stmt has become Cil_datatype.Stmt.loc
2011-05-13 10:32   
To complete what Boris Y. said, several functions of Ast_info (included Ast_info.loc_stmt) has moved into Cil_datatype and its submodules.
2014-02-12 16:59   
Fix committed to stable/neon branch.

Issue History
2011-05-11 14:26fgarnierNew Issue
2011-05-11 14:26fgarnierStatusnew => assigned
2011-05-11 14:26fgarnierAssigned To => signoles
2011-05-11 16:44yakobowskiNote Added: 0001868
2011-05-13 10:29signolesStatusassigned => acknowledged
2011-05-13 10:32signolesNote Added: 0001881
2011-05-13 11:26svn
2011-05-13 11:26svnStatusacknowledged => resolved
2011-05-13 11:26svnResolutionopen => fixed
2011-10-10 14:13signolesFixed in Version => Frama-C Nitrogen-20111001
2011-10-10 14:14signolesStatusresolved => closed
2013-12-19 01:12signolesSource_changeset_attached => framac master dbc56ecd
2014-02-12 16:54signolesSource_changeset_attached => framac stable/neon dbc56ecd
2014-02-12 16:59signolesNote Added: 0004789
2014-02-12 16:59signolesStatusclosed => resolved
2016-06-21 14:11signolesCategoryDocumentation => Documentation > ACSL
2016-06-21 14:20signolesCategoryDocumentation > ACSL => Documentation > manuals