cbmc failed to build from source in Fedora rawhide/f34 https://koji.fedoraproject.org/koji/taskinfo?taskID=60913766 For details on the mass rebuild see: https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild Please fix cbmc at your earliest convenience and set the bug's status to ASSIGNED when you start fixing it. If the bug remains in NEW state for 8 weeks, cbmc will be orphaned. Before branching of Fedora 35, cbmc will be retired, if it still fails to build. For more details on the FTBFS policy, please visit: https://docs.fedoraproject.org/en-US/fesco/Fails_to_build_from_source_Fails_to_install/
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.