cbmc 5.84.0-4 FTBFS on all architectures
Bug #2023276 reported by
Danilo Egea Gondolfo
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
cbmc (Ubuntu) |
New
|
Undecided
|
Unassigned |
Bug Description
cbmc is failing to build on all architectures for different reasons.
First it will fail due to some optional<T> variables that the compiler is saying are MAYBE uninitialized (-Werror=
On all the other archs we support, after adding the flag to disable the error, it will fail due to assertions and unit tests that are not passing.
To post a comment you must log in.
Adding the patch to fix the build on amd64.
It still needs more work to fix the rest. They are also failing on Debian.