Bug 2336449
Summary: | cbmc fails to build with GCC 15 (C23?) | ||
---|---|---|---|
Product: | [Fedora] Fedora | Reporter: | Dave Malcolm <dmalcolm> |
Component: | cbmc | Assignee: | Lukáš Zaoral <lzaoral> |
Status: | CLOSED RAWHIDE | QA Contact: | Fedora Extras Quality Assurance <extras-qa> |
Severity: | medium | Docs Contact: | |
Priority: | unspecified | ||
Version: | 42 | CC: | kdudka, lzaoral, releng, vmihalko |
Target Milestone: | --- | ||
Target Release: | --- | ||
Hardware: | Unspecified | ||
OS: | Linux | ||
Whiteboard: | |||
Fixed In Version: | cbmc-6.5.0-1.fc43 | Doc Type: | If docs needed, set a value |
Doc Text: | Story Points: | --- | |
Clone Of: | Environment: | ||
Last Closed: | 2025-04-24 12:35:24 UTC | Type: | --- |
Regression: | --- | Mount Type: | --- |
Documentation: | --- | CRM: | |
Verified Versions: | Category: | --- | |
oVirt Team: | --- | RHEL 7.3 requirements from Atomic Host: | |
Cloudforms Team: | --- | Target Upstream Version: | |
Embargoed: | |||
Bug Depends On: | |||
Bug Blocks: | 2260875, 2300528, 2333037 |
Description
Dave Malcolm
2025-01-08 20:05:29 UTC
This bug appears to have been reported against 'rawhide' during the Fedora Linux 42 development cycle. Changing version to 42. This should be resolved by the following upstream PRs: * https://github.com/diffblue/cbmc/pull/8620 * https://github.com/diffblue/cbmc/pull/8623 *** Bug 2339958 has been marked as a duplicate of this bug. *** |