Anonymous | Login | Signup for a new account | 2019-12-10 04:03 CET | ![]() |
Main | My View | View Issues | Change Log | Roadmap | Repositories |
View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||
0000239 | Frama-C | Plug-in > jessie | public | 2009-09-11 13:42 | 2013-03-27 09:44 | ||||
Reporter | Christoph | ||||||||
Assigned To | correnson | ||||||||
Priority | normal | Severity | minor | Reproducibility | always | ||||
Status | closed | Resolution | fixed | ||||||
Platform | OS | OS Version | |||||||
Product Version | Frama-C Beryllium-20090901 | ||||||||
Target Version | Fixed in Version | Frama-C Oxygen-20120901 | |||||||
Summary | 0000239: internal error when analyzing max.h | ||||||||
Description | Call and message: File max.h is appended, no file created by frama-c $ frama-c -jessie max.h [kernel] preprocessing with "gcc -C -E -I. -dD max.h" [jessie] Starting Jessie translation [jessie] user error: Nothing to process. There was probably an error before. max.h:27:[jessie] failure: Unexpected exception. Please submit bug report (Ref. "Log.AbortError("jessie")"). [kernel] Plugin jessie aborted because of an internal error. Please report with 'crash' at http://bts.frama-c.com | ||||||||
Tags | No tags attached. | ||||||||
Attached Files | ![]() | ||||||||
![]() |
|
(0000396) virgile (developer) 2009-09-14 10:21 |
jessie should exit more gracefully, but the initial issue is that there is indeed nothing to do here: frama-c does not keep pure prototypes (i.e. which are not bound to a definition elsewhere) which are not used. This behavior is intended to avoid cluttering a project with unused prototypes coming from the inclusion of a standard library file. |
(0003433) yakobowski (manager) 2012-09-07 17:57 |
Jessie now exits more gracefully on empty. Moreover, starting from Oxygen, Frama-C will keep unreferenced functions with specifications. |
(0003777) signoles (manager) 2013-03-27 09:43 |
Fixed in Frama-C Oxygen + Why 2.32. |
![]() |
|||
Date Modified | Username | Field | Change |
2009-09-11 13:42 | Christoph | New Issue | |
2009-09-11 13:42 | Christoph | File Added: max.h | |
2009-09-12 07:15 | signoles | Status | new => assigned |
2009-09-12 07:15 | signoles | Assigned To | => correnson |
2009-09-14 10:21 | virgile | Note Added: 0000396 | |
2010-07-19 16:43 | signoles | Relationship added | related to 0000509 |
2012-09-07 17:57 | yakobowski | Note Added: 0003433 | |
2012-09-07 17:57 | yakobowski | Status | assigned => resolved |
2012-09-07 17:57 | yakobowski | Resolution | open => fixed |
2013-03-27 09:43 | signoles | Note Added: 0003777 | |
2013-03-27 09:44 | signoles | Fixed in Version | => Frama-C Oxygen-20120901 |
2013-03-27 09:44 | signoles | Status | resolved => closed |
Copyright © 2000 - 2019 MantisBT Team |