Bug 1923685
| Summary: | cbmc: FTBFS in Fedora rawhide/f34 | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Product: | [Fedora] Fedora | Reporter: | Fedora Release Engineering <releng> | ||||||||
| Component: | cbmc | Assignee: | Vincent Mihalkovič <vmihalko> | ||||||||
| Status: | CLOSED ERRATA | QA Contact: | Fedora Extras Quality Assurance <extras-qa> | ||||||||
| Severity: | unspecified | Docs Contact: | |||||||||
| Priority: | unspecified | ||||||||||
| Version: | 34 | CC: | law, loganjerry, lzaoral, msebor, vmihalko | ||||||||
| Target Milestone: | --- | ||||||||||
| Target Release: | --- | ||||||||||
| Hardware: | Unspecified | ||||||||||
| OS: | Unspecified | ||||||||||
| Whiteboard: | |||||||||||
| Fixed In Version: | cbmc-5.25.0-1.fc34 | Doc Type: | If docs needed, set a value | ||||||||
| Doc Text: | Story Points: | --- | |||||||||
| Clone Of: | Environment: | ||||||||||
| Last Closed: | 2021-03-19 20:11:29 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: | 1868278 | ||||||||||
| Attachments: |
|
||||||||||
|
Description
Fedora Release Engineering
2021-02-01 17:25:45 UTC
Created attachment 1753984 [details]
build.log
file build.log too big, will only attach last 32768 bytes
Created attachment 1753985 [details]
root.log
file root.log too big, will only attach last 32768 bytes
Created attachment 1753986 [details]
state.log
This bug appears to have been reported against 'rawhide' during the Fedora 34 development cycle. Changing version to 34. The original failure (stringop-overread diagnostic) has been fixed in the most recent GCC drop. However, cbmc still FTBFS because of a C++ issue that needs to be addressed by the package maintainer.
/builddir/build/BUILD/cbmc-cbmc-5.17.0/src/goto-cc/ms_link_cmdline.cpp: In member function 'void ms_link_cmdlinet::process_link_option(const string&)':
/builddir/build/BUILD/cbmc-cbmc-5.17.0/src/goto-cc/ms_link_cmdline.cpp:337:26: error: loop variable 'ms_link_option' of type 'const string&' {aka 'const std::__cxx11::basic_string<char>&'} binds to a temporary constructed from type 'const char*' [-Werror=range-loop-construct]
337 | for(const std::string &ms_link_option : ms_link_options)
| ^~~~~~~~~~~~~~
/builddir/build/BUILD/cbmc-cbmc-5.17.0/src/goto-cc/ms_link_cmdline.cpp:337:26: note: use non-reference type 'const string' {aka 'const std::__cxx11::basic_string<char>'} to make the copy explicit or 'const char* const&' to prevent copying
cc1plus: all warnings being treated as errors
gmake[2]: *** [src/goto-cc/CMakeFiles/goto-cc-lib.dir/build.make:371: src/goto-cc/CMakeFiles/goto-cc-lib.dir/ms_link_cmdline.cpp.o] Error 1
gmake[2]: *** Waiting for unfinished jobs....
FEDORA-2021-9bbf6660f8 has been submitted as an update to Fedora 34. https://bodhi.fedoraproject.org/updates/FEDORA-2021-9bbf6660f8 FEDORA-2021-9bbf6660f8 has been pushed to the Fedora 34 testing repository. Soon you'll be able to install the update with the following command: `sudo dnf upgrade --enablerepo=updates-testing --advisory=FEDORA-2021-9bbf6660f8` You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2021-9bbf6660f8 See also https://fedoraproject.org/wiki/QA:Updates_Testing for more information on how to test updates. FEDORA-2021-9bbf6660f8 has been pushed to the Fedora 34 stable repository. If problem still persists, please make note of it in this bug report. |