View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||
---|---|---|---|---|---|---|---|---|---|
0002184 | Frama-C | Plug-in > wp | public | 2015-11-02 10:19 | 2016-01-26 13:41 | ||||
Reporter | Jochen | ||||||||
Assigned To | signoles | ||||||||
Priority | normal | Severity | feature | Reproducibility | always | ||||
Status | closed | Resolution | fixed | ||||||
Platform | Sodium-20150201 | OS | OS Version | 14.04.1-Ubuntu | |||||
Product Version | Frama-C Sodium | ||||||||
Target Version | Fixed in Version | Frama-C Magnesium | |||||||
Summary | 0002184: memory leak (endless recursion?) caused by erroneous c program | ||||||||
Description | Running "frama-c 10.c" on the attached program causes frama-c to allocate a rapidly increasing amount of memory, until it crashes with the unbuntu-message "Fatal error: out of memory." Apparently, it performs an endless recursion. The program "10.c" is erroneous and nonsensical, and originates from a "creduce" experiment with a poor test script. However, it may be worth to eliminate the endless recusion, anyway? | ||||||||
Tags | No tags attached. | ||||||||
Attached Files |
|
![]() |
|
signoles (manager) 2015-11-02 11:27 |
Thanks for your report. This bug is actually already fixed in our development version. The fix will be part of the next public release. The kernel now fails with the following error message: ===== 10.c:1:[kernel] user error: field is declared with incomplete type struct S5 [kernel] user error: type struct S5 is circular ===== |
![]() |
|||
Date Modified | Username | Field | Change |
---|---|---|---|
2015-11-02 10:19 | Jochen | New Issue | |
2015-11-02 10:19 | Jochen | Status | new => assigned |
2015-11-02 10:19 | Jochen | Assigned To | => correnson |
2015-11-02 10:19 | Jochen | File Added: 10.c | |
2015-11-02 11:25 | signoles | Assigned To | correnson => signoles |
2015-11-02 11:27 | signoles | Note Added: 0006095 | |
2015-11-02 11:27 | signoles | Status | assigned => resolved |
2015-11-02 11:27 | signoles | Fixed in Version | => Frama-C Magnesium |
2015-11-02 11:27 | signoles | Resolution | open => fixed |
2016-01-26 08:43 | signoles | Status | resolved => closed |