failure: bad initialisation: Too many initializations of the AST
ID0000954: This issue was created automatically from Mantis Issue 954. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000954 | Frama-C | Plug-in > metrics | public | 2011-09-09 | 2014-02-12 |
| Reporter | patrick | Assigned To | virgile | Resolution | fixed |
| Priority | normal | Severity | crash | Reproducibility | have not tried |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C GIT, precise the release id | Target Version | - | Fixed in Version | Frama-C Nitrogen-20111001 |
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 ...