Wrong module name for the function prepareCFG and computeCFGInfo in the Frama-C Carbon html API.
ID0000821: This issue was created automatically from Mantis Issue 821. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000821 | Frama-C | Documentation > manuals | public | 2011-05-11 | 2016-06-21 |
| Reporter | fgarnier | Assigned To | signoles | Resolution | fixed |
| Priority | normal | Severity | minor | Reproducibility | N/A |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Carbon-20110201 | Target Version | - | Fixed in Version | Frama-C Nitrogen-20111001 |
Description :
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.
Additional Information :
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.