View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||
---|---|---|---|---|---|---|---|---|---|
0001104 | Frama-C | Graphical User Interface | public | 2012-02-24 11:18 | 2014-02-12 16:58 | ||||
Reporter | Jochen | ||||||||
Assigned To | yakobowski | ||||||||
Priority | normal | Severity | minor | Reproducibility | always | ||||
Status | closed | Resolution | fixed | ||||||
Product Version | Frama-C Nitrogen-20111001 | ||||||||
Target Version | Fixed in Version | Frama-C Oxygen-20120901 | |||||||
Summary | 0001104: value analysis warning disappears from 'Messages' window in gui after 'Reparse' button clicked | ||||||||
Description | Under Mac OS X Version 10.6.8, I ran "frama-c-gui -val exm02.c" on the attached program. In the "Messages" window of the Frama-C gui, an overflow warning is displayed for line 4, which is ok. After clicking on the "Reparse" button, that message disappears, although nothing has been changed in the source code. Even after clicking on the "Analyses" button and clicking on the "Execute" button in the popped-up window "Launching analysis", the overflow warning doesn't appear again. | ||||||||
Tags | No tags attached. | ||||||||
Attached Files |
|
![]() |
|
yakobowski (manager) 2012-02-24 11:39 |
Hi, This is actually a bug in the memoization of messages, which is not currently project-aware; the message is not re-emitted on the console either. Admittedly, we can improve at least the behavior of the reparse button. |
yakobowski (manager) 2014-02-12 16:58 |
Fix committed to stable/neon branch. |
![]() |
|||
Date Modified | Username | Field | Change |
---|---|---|---|
2012-02-24 11:18 | Jochen | New Issue | |
2012-02-24 11:18 | Jochen | Status | new => assigned |
2012-02-24 11:18 | Jochen | Assigned To | => monate |
2012-02-24 11:18 | Jochen | File Added: exm02.c | |
2012-02-24 11:39 | yakobowski | Note Added: 0002732 | |
2012-02-24 11:39 | yakobowski | Assigned To | monate => correnson |
2012-09-07 15:02 | yakobowski | Assigned To | correnson => yakobowski |
2012-09-07 17:13 | svn | ||
2012-09-07 17:13 | svn | Status | assigned => resolved |
2012-09-07 17:13 | svn | Resolution | open => fixed |
2012-09-19 17:15 | signoles | Fixed in Version | => Frama-C Oxygen-20120901 |
2012-09-19 17:16 | signoles | Status | resolved => closed |
2013-12-19 01:11 | yakobowski | Source_changeset_attached | => framac master b99fc010 |
2014-02-12 16:53 | yakobowski | Source_changeset_attached | => framac stable/neon b99fc010 |
2014-02-12 16:58 | yakobowski | Note Added: 0004617 | |
2014-02-12 16:58 | yakobowski | Status | closed => resolved |