FTBFS cbmc 5.89.0-2
Bug #2036745 reported by
Heinrich Schuchardt
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| cbmc (Ubuntu) |
Fix Released
|
Undecided
|
Graham Inggs | ||
| lto-disabled-list (Ubuntu) |
New
|
Undecided
|
Unassigned | ||
Bug Description
Building on some architechtures (e.g. arm64) fails during checks as shown at the end of the buildlog
https:/
Upstream issue opened:
Revision history for this message
| Heinrich Schuchardt (xypron) wrote | #1 |
| tags: | added: ftbfs update-excuse |
| Changed in cbmc (Ubuntu): | |
| assignee: | nobody → Graham Inggs (ginggs) |
| status: | New → Fix Committed |
Revision history for this message
| Launchpad Janitor (janitor) wrote | #2 |
| Changed in cbmc (Ubuntu): | |
| status: | Fix Committed → Fix Released |
Revision history for this message
| Graham Inggs (ginggs) wrote | #3 |
To post a comment you must log in.
Disabling LTO resolves errors in the originally failing tests on arm64 and s390x. But on arm64 we now see:
Failed test: fmod1
CBMC version 5.89.0 (cbmc-5.89.0) 64-bit arm64 linux
Parsing main.c
file /usr/include/
PARSING ERROR
https:/