2021-03-05 02:05 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0002328Frama-CPlug-in > E-ACSLpublic2017-12-06 09:10
Assigned Tokvorobyov 
PrioritynormalSeveritycrashReproducibilityhave not tried
Platformi386OSlinuxOS Versiondebian sid
Product VersionFrama-C 15-Phosphorus 
Target VersionFrama-C 16-SulfurFixed in VersionFrama-C 16-Sulfur 
Summary0002328: compilation fails on i386 with gcc-7
Descriptionwe 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.
TagsNo tags attached.
Attached Files




signoles (manager)

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.


yakobowski (manager)

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.


treinen (reporter)

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)


yakobowski (manager)

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).

-Issue History
Date Modified Username Field Change
2017-09-08 13:29 treinen New Issue
2017-09-08 13:29 treinen Status new => assigned
2017-09-08 13:29 treinen Assigned To => signoles
2017-09-08 13:31 signoles Assigned To signoles => kvorobyov
2017-09-08 13:37 signoles Note Added: 0006459
2017-09-08 13:38 signoles Status assigned => acknowledged
2017-09-08 13:39 signoles Target Version => Frama-C 16-Sulfur
2017-09-15 10:30 yakobowski Note Added: 0006462
2017-09-15 11:15 treinen Note Added: 0006463
2017-09-15 13:31 yakobowski Note Added: 0006464
2017-10-24 17:41 signoles Status acknowledged => resolved
2017-10-24 17:41 signoles Resolution open => fixed
2017-12-06 09:09 signoles Fixed in Version => Frama-C 16-Sulfur
2017-12-06 09:10 signoles Status resolved => closed
+Issue History