Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Related Changesets ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
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 file icon exm02.c [^] (86 bytes) 2012-02-24 11:18 [Show Content]

- Relationships

-  Notes
(0002732)
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.
(0004617)
yakobowski (manager)
2014-02-12 16:58

Fix committed to stable/neon branch.

- Issue History
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 Checkin
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
2014-02-12 16:58 yakobowski Note Added: 0004617
2014-02-12 16:58 yakobowski Status closed => resolved


Copyright © 2000 - 2017 MantisBT Team
Powered by Mantis Bugtracker