compilation fails on i386 with gcc-7
ID0002328: This issue was created automatically from Mantis Issue 2328. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002328 | Frama-C | Plug-in > E-ACSL | public | 2017-09-08 | 2017-12-06 |
| Reporter | treinen | Assigned To | kvorobyov | Resolution | fixed |
| Priority | normal | Severity | crash | Reproducibility | have not tried |
| Platform | i386 | OS | linux | OS Version | debian sid |
| Product Version | Frama-C 15-Phosphorus | Target Version | Frama-C 16-Sulfur | Fixed in Version | Frama-C 16-Sulfur |
Description :
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.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information