Frama-C Bug Tracking System - Frama-C
View Issue Details
0002328Frama-CPlug-in > E-ACSLpublic2017-09-08 13:292017-12-06 09:10
normalcrashhave not tried
i386linuxdebian sid
Frama-C 15-Phosphorus 
Frama-C 16-SulfurFrama-C 16-Sulfur 
0002328: compilation fails on i386 with gcc-7
we have a compilation failure of frama-c on i386. A complete log of an attempt to compile can be found here: Please note that the default compiler on debian sid is gcc-7.
No tags attached.
Issue History
2017-09-08 13:29treinenNew Issue
2017-09-08 13:29treinenStatusnew => assigned
2017-09-08 13:29treinenAssigned To => signoles
2017-09-08 13:31signolesAssigned Tosignoles => kvorobyov
2017-09-08 13:37signolesNote Added: 0006459
2017-09-08 13:38signolesStatusassigned => acknowledged
2017-09-08 13:39signolesTarget Version => Frama-C 16-Sulfur
2017-09-11 08:49virgileNote Added: 0006461
2017-09-11 09:11virgileNote Deleted: 0006461
2017-09-15 10:30yakobowskiNote Added: 0006462
2017-09-15 11:15treinenNote Added: 0006463
2017-09-15 13:31yakobowskiNote Added: 0006464
2017-10-24 17:41signolesStatusacknowledged => resolved
2017-10-24 17:41signolesResolutionopen => fixed
2017-12-06 09:09signolesFixed in Version => Frama-C 16-Sulfur
2017-12-06 09:10signolesStatusresolved => closed

2017-09-08 13:37   
Thanks for reporting this bug. It is related to the jemalloc library which is not used anymore by E-ACSL. We will check that there is no other issue under debian unstable and gcc-7 before the next release.
2017-09-15 10:30   
I get the impression from and that you fixed the problem yourself, excellent :-) I will let Julien comment on why this -C was used.
2017-09-15 11:15   
In fact it has been solved by Mehdi. BTW, you can see the result of the build attempts of the debian package by our autobuilders on as you can see, it has successfully build on all release architectures (these are the ones on a white ground)
2017-09-15 13:31   
Great! If you are interested in having a build for all architectures, you can use the configure option --disable-eacsl (for the architectures where the compilation of jemalloc fails).