View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||
---|---|---|---|---|---|---|---|---|---|
0000470 | Frama-C | Graphical User Interface | public | 2010-05-05 18:46 | 2014-02-12 16:55 | ||||
Reporter | pascal | ||||||||
Assigned To | pascal | ||||||||
Priority | normal | Severity | minor | Reproducibility | always | ||||
Status | closed | Resolution | fixed | ||||||
Product Version | Frama-C Boron-20100401 | ||||||||
Target Version | Fixed in Version | Frama-C Carbon-20101201-beta1 | |||||||
Summary | 0000470: In the GUI, it is impossible to talk about variables generated by Value's -lib-entry | ||||||||
Description | "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")" | ||||||||
Additional Information | To leave public. | ||||||||
Tags | No tags attached. | ||||||||
Attached Files |
|
![]() |
|
pascal (reporter) 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. |
monate (reporter) 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'. |
pascal (reporter) 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. |
pascal (reporter) 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. |
monate (reporter) 2010-05-06 11:13 |
Ok, I was not looking at the right issue indeed. |
![]() |
|||
Date Modified | Username | Field | Change |
---|---|---|---|
2010-05-05 18:46 | pascal | New Issue | |
2010-05-05 18:46 | pascal | Status | new => assigned |
2010-05-05 18:46 | pascal | Assigned To | => monate |
2010-05-05 18:51 | pascal | Note Added: 0000810 | |
2010-05-06 01:17 | monate | Note Added: 0000811 | |
2010-05-06 09:53 | pascal | Assigned To | monate => pascal |
2010-05-06 09:55 | pascal | Note Added: 0000812 | |
2010-05-06 10:10 | pascal | Note Added: 0000813 | |
2010-05-06 11:13 | monate | Note Added: 0000814 | |
2010-05-06 12:51 | svn | ||
2010-05-06 14:54 | svn | ||
2010-05-06 14:54 | svn | Status | assigned => resolved |
2010-05-06 14:54 | svn | Resolution | open => fixed |
2010-12-10 15:45 | signoles | Fixed in Version | => Frama-C Carbon-20101201-beta1 |
2010-12-17 19:36 | signoles | Status | resolved => closed |
2013-12-19 01:13 | pascal | Source_changeset_attached | => framac master 840737c4 |
2013-12-19 01:13 | Source_changeset_attached | => framac master 83881dbb | |
2014-02-12 16:55 | pascal | Source_changeset_attached | => framac stable/neon 840737c4 |
2014-02-12 16:55 | Source_changeset_attached | => framac stable/neon 83881dbb |