Frama-C Bug Tracking System - Frama-C
View Issue Details
0000470Frama-CGraphical User Interfacepublic2010-05-05 18:462014-02-12 16:55
pascal 
pascal 
normalminoralways
closedfixed 
Frama-C Boron-20100401 
Frama-C Carbon-20101201-beta1 
0000470: In the GUI, it is impossible to talk about variables generated by Value's -lib-entry
"evaluate expression", "occurrences" and "Show defs", for instance, when tried on such a variable, emit the error message "Invalid expression: Logic_interp.Error(_, "Unbound variable star_CompositionPage")"
To leave public.
No tags attached.
Issue History
2010-05-05 18:46pascalNew Issue
2010-05-05 18:46pascalStatusnew => assigned
2010-05-05 18:46pascalAssigned To => monate
2010-05-05 18:51pascalNote Added: 0000810
2010-05-06 01:17monateNote Added: 0000811
2010-05-06 09:53pascalAssigned Tomonate => pascal
2010-05-06 09:55pascalNote Added: 0000812
2010-05-06 10:10pascalNote Added: 0000813
2010-05-06 11:13monateNote Added: 0000814
2010-05-06 12:51svnCheckin
2010-05-06 14:54svnCheckin
2010-05-06 14:54svnStatusassigned => resolved
2010-05-06 14:54svnResolutionopen => fixed
2010-12-10 15:45signolesFixed in Version => Frama-C Carbon-20101201-beta1
2010-12-17 19:36signolesStatusresolved => closed

Notes
(0000810)
pascal   
2010-05-05 18:51   
To reproduce: int x, *q; main(int *p) { q = p; *q = 12; x = *q; } frama-c-gui -val t.c Try observing value of star_p.
(0000811)
monate   
2010-05-06 01:17   
star_p is not a C variable: its only occurence is in the results of the value analysis. It should probably be pretty printed '*p'.
(0000812)
pascal   
2010-05-06 09:55   
I was not talking about pretty_printing. I do not think that typing "*p" in the entry field of the "evaluate expression" dialog will give the user quite what he wants, not to mention that this "name" is not used anywhere else and has to be guessed. I assigned this bug to myself.
(0000813)
pascal   
2010-05-06 10:10   
FWIW, I tried to evaluate "*p" (that is I tried making the field that used to contain "*p" contain a name, then I tried that name), and it doesn't seem to have anything to do with the problem.
(0000814)
monate   
2010-05-06 11:13   
Ok, I was not looking at the right issue indeed.