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 - cbmc: FTBFS in Fedora rawhide/f34
Summary: cbmc: FTBFS in Fedora rawhide/f34
Keywords:
Status: CLOSED ERRATA
Alias: None
Product: Fedora
Classification: Fedora
Component: cbmc
Version: 34
Hardware: Unspecified
OS: Unspecified
unspecified
unspecified
Target Milestone: ---
Assignee: Vincent Mihalkovič
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard:
Depends On:
Blocks: F34FTBFS
TreeView+ depends on / blocked
 
Reported: 2021-02-01 17:25 UTC by Fedora Release Engineering
Modified: 2021-03-19 20:11 UTC (History)
5 users (show)

Fixed In Version: cbmc-5.25.0-1.fc34
Doc Type: If docs needed, set a value
Doc Text:
Clone Of:
Environment:
Last Closed: 2021-03-19 20:11:29 UTC
Type: ---
Embargoed:


Attachments (Terms of Use)
build.log (32.00 KB, text/plain)
2021-02-01 17:25 UTC, Fedora Release Engineering
no flags Details
root.log (32.00 KB, text/plain)
2021-02-01 17:25 UTC, Fedora Release Engineering
no flags Details
state.log (951 bytes, text/plain)
2021-02-01 17:25 UTC, Fedora Release Engineering
no flags Details

Description Fedora Release Engineering 2021-02-01 17:25:45 UTC
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/

Comment 1 Fedora Release Engineering 2021-02-01 17:25:48 UTC
Created attachment 1753984 [details]
build.log

file build.log too big, will only attach last 32768 bytes

Comment 2 Fedora Release Engineering 2021-02-01 17:25:49 UTC
Created attachment 1753985 [details]
root.log

file root.log too big, will only attach last 32768 bytes

Comment 3 Fedora Release Engineering 2021-02-01 17:25:50 UTC
Created attachment 1753986 [details]
state.log

Comment 4 Ben Cotton 2021-02-09 16:00:12 UTC
This bug appears to have been reported against 'rawhide' during the Fedora 34 development cycle.
Changing version to 34.

Comment 5 Jeff Law 2021-02-13 22:14:56 UTC
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....

Comment 6 Fedora Update System 2021-03-11 08:43:57 UTC
FEDORA-2021-9bbf6660f8 has been submitted as an update to Fedora 34. https://bodhi.fedoraproject.org/updates/FEDORA-2021-9bbf6660f8

Comment 7 Fedora Update System 2021-03-11 19:51:36 UTC
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.

Comment 8 Fedora Update System 2021-03-19 20:11:29 UTC
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.


Note You need to log in before you can comment on or make changes to this bug.