Frama-C Bug Tracking System - Frama-C
View Issue Details
0001104Frama-CGraphical User Interfacepublic2012-02-24 11:182014-02-12 16:58
ReporterJochen 
Assigned Toyakobowski 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product VersionFrama-C Nitrogen-20111001 
Target VersionFixed in VersionFrama-C Oxygen-20120901 
Summary0001104: value analysis warning disappears from 'Messages' window in gui after 'Reparse' button clicked
DescriptionUnder 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.
TagsNo tags attached.
Attached Filesc exm02.c (86) 2012-02-24 11:18
https://bts.frama-c.com/file_download.php?file_id=339&type=bug

Notes
(0002732)
yakobowski   
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.
(0004617)
yakobowski   
2014-02-12 16:58   
Fix committed to stable/neon branch.

Issue History
2012-02-24 11:18JochenNew Issue
2012-02-24 11:18JochenStatusnew => assigned
2012-02-24 11:18JochenAssigned To => monate
2012-02-24 11:18JochenFile Added: exm02.c
2012-02-24 11:39yakobowskiNote Added: 0002732
2012-02-24 11:39yakobowskiAssigned Tomonate => correnson
2012-09-07 15:02yakobowskiAssigned Tocorrenson => yakobowski
2012-09-07 17:13svn
2012-09-07 17:13svnStatusassigned => resolved
2012-09-07 17:13svnResolutionopen => fixed
2012-09-19 17:15signolesFixed in Version => Frama-C Oxygen-20120901
2012-09-19 17:16signolesStatusresolved => closed
2013-12-19 01:11yakobowskiSource_changeset_attached => framac master b99fc010
2014-02-12 16:53yakobowskiSource_changeset_attached => framac stable/neon b99fc010
2014-02-12 16:58yakobowskiNote Added: 0004617
2014-02-12 16:58yakobowskiStatusclosed => resolved