0001136: [Globals.Vars.get_astinfo] doesn't work

Frama-C Bug Tracking System - Frama-C
View Issue Details

ID	Project	Category	View Status	Date Submitted	Last Update
0001136	Frama-C	Kernel	public	2012-03-27 14:12	2014-02-12 16:59

Reporter	Anne
Assigned To	virgile
Priority	normal	Severity	minor	Reproducibility	have not tried
Status	closed	Resolution	fixed
Platform		OS		OS Version
Product Version	Frama-C Nitrogen-20111001
Target Version		Fixed in Version	Frama-C Oxygen-20120901

Summary	0001136: [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.
Steps To Reproduce
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
Tags	No tags attached.
Relationships
Attached Files	script.ml (984) 2012-03-27 14:12 https://bts.frama-c.com/file_download.php?file_id=364&type=bug

Issue History
Date Modified	Username	Field	Change
2012-03-27 14:12	Anne	New Issue
2012-03-27 14:12	Anne	File Added: script.ml
2012-03-27 15:58	virgile	Status	new => assigned
2012-03-27 15:58	virgile	Assigned To	=> virgile
2012-03-30 17:54	svn	Checkin
2012-03-30 17:54	svn	Status	assigned => resolved
2012-03-30 17:54	svn	Resolution	open => fixed
2012-04-24 11:24	pascal	Status	resolved => feedback
2012-04-24 11:24	pascal	Resolution	fixed => reopened
2012-06-16 22:18	yakobowski	Status	feedback => resolved
2012-06-16 22:18	yakobowski	Resolution	reopened => fixed
2012-09-19 17:15	signoles	Fixed in Version	=> Frama-C Oxygen-20120901
2012-09-19 17:16	signoles	Status	resolved => closed
2014-02-12 16:59		Note Added: 0004707
2014-02-12 16:59		Status	closed => resolved

Notes