Frama-C Bug Tracking System - Frama-C
View Issue Details
0001136Frama-CKernelpublic2012-03-27 14:122014-02-12 16:59
Anne 
virgile 
normalminorhave not tried
closedfixed 
Frama-C Nitrogen-20111001 
Frama-C Oxygen-20120901 
0001136: [Globals.Vars.get_astinfo] doesn't work
[Globals.Vars.get_astinfo] compares variable names instead of using [Varinfo.equal], so it gives erroneous results.
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
No tags attached.
? script.ml (984) 2012-03-27 14:12
https://bts.frama-c.com/file_download.php?file_id=364&type=bug
Issue History
2012-03-27 14:12AnneNew Issue
2012-03-27 14:12AnneFile Added: script.ml
2012-03-27 15:58virgileStatusnew => assigned
2012-03-27 15:58virgileAssigned To => virgile
2012-03-30 17:54svnCheckin
2012-03-30 17:54svnStatusassigned => resolved
2012-03-30 17:54svnResolutionopen => fixed
2012-04-24 11:24pascalStatusresolved => feedback
2012-04-24 11:24pascalResolutionfixed => reopened
2012-06-16 22:18yakobowskiStatusfeedback => resolved
2012-06-16 22:18yakobowskiResolutionreopened => fixed
2012-09-19 17:15signolesFixed in Version => Frama-C Oxygen-20120901
2012-09-19 17:16signolesStatusresolved => closed
2014-02-12 16:59Note Added: 0004707
2014-02-12 16:59Statusclosed => resolved

Notes
(0004707)
   
2014-02-12 16:59   
Fix committed to stable/neon branch.