Note: This is a public test instance of Red Hat Bugzilla. The data contained within is a snapshot of the live data so any changes you make will not be reflected in the production Bugzilla. Email is disabled so feel free to test any aspect of the site that you want. File any problems you find or give feedback at bugzilla.redhat.com.
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. |