| 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 |
| ||||||||
 Relationships |
|
 Relationships |
| Notes |
|
|
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. |
| Notes |
| Issue History |
|||
| 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 | |
| Issue History |