Frama-C Bug Tracking System - Frama-C
View Issue Details
0002328Frama-CPlug-in > E-ACSLpublic2017-09-08 13:292017-12-06 09:10
treinen 
kvorobyov 
normalcrashhave not tried
closedfixed 
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: https://buildd.debian.org/status/fetch.php?pkg=frama-c&arch=i386&ver=20170501%2Bphosphorus%2Bdfsg-1&stamp=1502480362&raw=0 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

Notes
(0006459)
signoles   
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.
(0006462)
yakobowski   
2017-09-15 10:30   
I get the impression from https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=874273 and https://bugs.launchpad.net/ubuntu/+source/glibc/+bug/1714514 that you fixed the problem yourself, excellent :-) I will let Julien comment on why this -C was used.
(0006463)
treinen   
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 https://buildd.debian.org/status/package.php?p=frama-c as you can see, it has successfully build on all release architectures (these are the ones on a white ground)
(0006464)
yakobowski   
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).