Frama-C Bug Tracking System - Frama-C
View Issue Details
0002184Frama-CPlug-in > wppublic2015-11-02 10:192016-01-26 13:41
Jochen 
signoles 
normalfeaturealways
closedfixed 
Sodium-2015020114.04.1-Ubuntu
Frama-C Sodium 
Frama-C Magnesium 
0002184: memory leak (endless recursion?) caused by erroneous c program
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?
No tags attached.
c 10.c (34) 2015-11-02 10:19
https://bts.frama-c.com/file_download.php?file_id=1071&type=bug
Issue History
2015-11-02 10:19JochenNew Issue
2015-11-02 10:19JochenStatusnew => assigned
2015-11-02 10:19JochenAssigned To => correnson
2015-11-02 10:19JochenFile Added: 10.c
2015-11-02 11:25signolesAssigned Tocorrenson => signoles
2015-11-02 11:27signolesNote Added: 0006095
2015-11-02 11:27signolesStatusassigned => resolved
2015-11-02 11:27signolesFixed in Version => Frama-C Magnesium
2015-11-02 11:27signolesResolutionopen => fixed
2016-01-26 08:43signolesStatusresolved => closed

Notes
(0006095)
signoles   
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 =====