[Globals.Vars.get_astinfo] doesn't work
ID0001136: This issue was created automatically from Mantis Issue 1136. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0001136 | Frama-C | Kernel | public | 2012-03-27 | 2014-02-12 |
| Reporter | Anne | Assigned To | virgile | Resolution | fixed |
| Priority | normal | Severity | minor | Reproducibility | have not tried |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Nitrogen-20111001 | Target Version | - | Fixed in Version | Frama-C Oxygen-20120901 |
Description :
[Globals.Vars.get_astinfo] compares variable names instead of using [Varinfo.equal], so it gives erroneous results.
Additional Information :
int f (int x) { return x; } int g (int x) { return x; } int h (int x) { return x; }
$ frama-c -load-script script.ml toto.c
found variable vid:363 formal in f found variable vid:367 formal in g found variable vid:371 formal in h [do_v] vid:371 formal in f [do_v] vid:367 formal in f [do_v] vid:363 formal in f