Frama-C Bug Tracking System - Frama-C
View Issue Details
0001136Frama-CKernelpublic2012-03-27 14:122014-02-12 16:59
ReporterAnne 
Assigned Tovirgile 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusclosedResolutionfixed 
PlatformOSOS Version
Product VersionFrama-C Nitrogen-20111001 
Target VersionFixed in VersionFrama-C Oxygen-20120901 
Summary0001136: [Globals.Vars.get_astinfo] doesn't work
Description[Globals.Vars.get_astinfo] compares variable names instead of using [Varinfo.equal], so it gives erroneous results.
Additional Informationint 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
TagsNo tags attached.
Attached Files? script.ml (984) 2012-03-27 14:12
https://bts.frama-c.com/file_download.php?file_id=364&type=bug

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

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:54svn
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
2013-12-19 01:12Source_changeset_attached => framac master 4663401c
2014-02-12 16:54Source_changeset_attached => framac stable/neon 4663401c
2014-02-12 16:59Note Added: 0004707
2014-02-12 16:59Statusclosed => resolved