View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||
---|---|---|---|---|---|---|---|---|---|
0000954 | Frama-C | Plug-in > metrics | public | 2011-09-09 08:41 | 2014-02-12 16:59 | ||||
Reporter | patrick | ||||||||
Assigned To | virgile | ||||||||
Priority | normal | Severity | crash | Reproducibility | have not tried | ||||
Status | closed | Resolution | fixed | ||||||
Product Version | Frama-C GIT, precise the release id | ||||||||
Target Version | Fixed in Version | Frama-C Nitrogen-20111001 | |||||||
Summary | 0000954: failure: bad initialisation: Too many initializations of the AST | ||||||||
Description | Crash with option -metrics -metrics-ast cabs when applied on project built by another (i.e. volatile and slicing) plug-in. | ||||||||
Additional Information | Revision: 15055 > cat file.c int v; int main(int x) { v=x; return v; } >frama-c -slice-return main file.c -then-on "Slicing export" -metrics -metrics-ast cabs [kernel] failure: bad initialisation: Too many initializations of the AST [kernel] The full backtrace is: ... Called from file "src/metrics/metrics_cabs.ml", line 557, characters 21-44 ... | ||||||||
Tags | No tags attached. | ||||||||
Attached Files |
|
![]() |
|
rbonichon (developer) 2011-09-09 09:51 Last edited: 2011-09-09 09:56 |
This crash seems to happen because the newly created project has no Cabs AST. Possible fix: provide a way to signal the absence of Cabs in projects. SVN revision 15057 renders message output clearer (Kernel.fatal "bad initialisation" and Ast.Bad_Initialization produced much too similar output) , catches this fatal message in the Metrics plugin, and tries to give a possible explanation. The suggested fix above should will probably mitigate this need. |
2014-02-12 16:59 |
Fix committed to stable/neon branch. |
![]() |
|||
Date Modified | Username | Field | Change |
---|---|---|---|
2011-09-09 08:41 | patrick | New Issue | |
2011-09-09 08:41 | patrick | Status | new => assigned |
2011-09-09 08:41 | patrick | Assigned To | => rbonichon |
2011-09-09 09:51 | rbonichon | Note Added: 0002223 | |
2011-09-09 09:51 | rbonichon | Status | assigned => acknowledged |
2011-09-09 09:56 | rbonichon | Note Edited: 0002223 | |
2011-09-09 09:57 | rbonichon | Status | acknowledged => assigned |
2011-09-09 09:57 | rbonichon | Assigned To | rbonichon => virgile |
2011-09-26 11:05 | svn | ||
2011-09-26 11:05 | svn | Status | assigned => resolved |
2011-09-26 11:05 | svn | Resolution | open => fixed |
2011-10-10 14:13 | signoles | Fixed in Version | => Frama-C Nitrogen-20111001 |
2011-10-10 14:14 | signoles | Status | resolved => closed |
2013-12-19 01:12 | Source_changeset_attached | => framac master e8d04a4b | |
2014-02-12 16:54 | Source_changeset_attached | => framac stable/neon e8d04a4b | |
2014-02-12 16:59 | Note Added: 0004731 | ||
2014-02-12 16:59 | Status | closed => resolved |