Copy visitor builds an inconsistent AST on clause 'frees'
ID0001284: This issue was created automatically from Mantis Issue 1284. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0001284 | Frama-C | Kernel | public | 2012-10-19 | 2014-02-12 |
| Reporter | signoles | Assigned To | virgile | Resolution | fixed |
| Priority | normal | Severity | major | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Oxygen-20120901 | Target Version | - | Fixed in Version | Frama-C Fluorine-20130401 |
Description :
Run the uploaded script on the following file:
=== frees.i === /*@ frees x; */ void f(int *x);
$ frama-c -check -load-script frees.ml frees.i frees.i:1:[kernel] failure: [AST Integrity Check] AST of frees logic variable x(741) is not shared between definition and use