Frama-C Bug Tracking System - Frama-C
View Issue Details
0000821Frama-CDocumentation > manualspublic2011-05-11 14:262016-06-21 14:20
fgarnier 
signoles 
normalminorN/A
closedfixed 
Frama-C Carbon-20110201 
Frama-C Nitrogen-20111001 
0000821: Wrong module name for the function prepareCFG and computeCFGInfo in the Frama-C Carbon html API.
Inside 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, Florent.
We 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.
No tags attached.
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:26svnCheckin
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
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

Notes
(0001868)
yakobowski   
2011-05-11 16:44   
loc_stmt has become Cil_datatype.Stmt.loc
(0001881)
signoles   
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.
(0004789)
signoles   
2014-02-12 16:59   
Fix committed to stable/neon branch.