indexing of string literal apparently causes memory leak in framaCIRGen
ID0001988: This issue was created automatically from Mantis Issue 1988. Further discussion may take place here.
|ID0001988||Frama-Clang||Plug-in > clang||public||2014-11-24||2015-04-02|
|Product Version||-||Target Version||-||Fixed in Version||-|
When running "frama-c 151.cpp" on the attached program, about 1 minute of silence is observed on the terminal output, followed by:
Killed [kernel] user error: Failed to parse C++ file. See Clang messages for more information
Running "top -d 1" produces the figures shown in file "151.typescript": framaCIRGen acquires about 90MB memory each second until it has 1.8GB after 18 seconds; then the memory remains constant for another 18 seconds; then the process appears to be killed by the Linux kernel due to memory exhaustion.