Bug 1133066
| Summary: | FTBFS on ppc64/ppc64le | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Product: | [Fedora] Fedora | Reporter: | Menanteau Guy <menantea> | ||||||
| Component: | cbmc | Assignee: | Jerry James <loganjerry> | ||||||
| Status: | CLOSED ERRATA | QA Contact: | Fedora Extras Quality Assurance <extras-qa> | ||||||
| Severity: | unspecified | Docs Contact: | |||||||
| Priority: | unspecified | ||||||||
| Version: | 21 | CC: | breno.leitao, loganjerry, shakthimaan | ||||||
| Target Milestone: | --- | ||||||||
| Target Release: | --- | ||||||||
| Hardware: | ppc64le | ||||||||
| OS: | Linux | ||||||||
| Whiteboard: | |||||||||
| Fixed In Version: | cbmc-4.9-1.fc21 | Doc Type: | Bug Fix | ||||||
| Doc Text: | Story Points: | --- | |||||||
| Clone Of: | Environment: | ||||||||
| Last Closed: | 2014-09-23 04:29:46 UTC | Type: | Bug | ||||||
| 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: | 1051573 | ||||||||
| Attachments: |
|
||||||||
|
Description
Menanteau Guy
2014-08-22 15:16:49 UTC
Created attachment 929686 [details]
log with cbmc patched to retrieve arch ppc64 little endian
log with cbmc patched, arch powerpc 64 little endian retrieved.
I didn't have a look to tests in error yet.
Thanks for the report and the patch. I will try to figure out why tests still fail with it. After some back and forth with upstream, we've got a build that passes all of its tests on both ppc64 and ppc64le. I have built it for Rawhide and F-21, and upstream has applied the resulting patch, so it will be part of the next release. cbmc-4.7-3.fc21 has been submitted as an update for Fedora 21. https://admin.fedoraproject.org/updates/cbmc-4.7-3.fc21 Package cbmc-4.7-3.fc21: * should fix your issue, * was pushed to the Fedora 21 testing repository, * should be available at your local mirror within two days. Update it with: # su -c 'yum update --enablerepo=updates-testing cbmc-4.7-3.fc21' as soon as you are able to. Please go to the following url: https://admin.fedoraproject.org/updates/FEDORA-2014-10235/cbmc-4.7-3.fc21 then log in and leave karma (feedback). cbmc-4.7-3 scratch builds succeed on: primary http://koji.fedoraproject.org/koji/taskinfo?taskID=7543253 secondary http://ppc.koji.fedoraproject.org/koji/taskinfo?taskID=2094327 Package cbmc-4.9-1.fc21: * should fix your issue, * was pushed to the Fedora 21 testing repository, * should be available at your local mirror within two days. Update it with: # su -c 'yum update --enablerepo=updates-testing cbmc-4.9-1.fc21' as soon as you are able to. Please go to the following url: https://admin.fedoraproject.org/updates/FEDORA-2014-10235/cbmc-4.9-1.fc21 then log in and leave karma (feedback). cbmc-4.9-1.fc21 has been pushed to the Fedora 21 stable repository. If problems still persist, please make note of it in this bug report. Although it is not breaking the build on fedora/ppc64le, there are some tests fails that I am facing, as in the test:
character_literals1
that has the following line:
STATIC_ASSERT('\xff' == (char)0xff);
and in this case ,it is causing the following error:
STATIC_ASSERT('\xff' == (char)0xff)
and the second argument is returning -1, which seems that char is not considered as unsgined.
Breno, I did see that error when starting work on the problem, but the patch made it go away for me. And not just for me, either; there is no sign of that error in the ppc64le build of cbmc-4.9-1.fc21: http://ppc.koji.fedoraproject.org/koji/buildinfo?buildID=266344 Which version did you build, on what platform, to get this error? If it is a koji build, can you post a link to the logs? Thanks. Hi Jerry, The problem appeared with the patch from Menanteau. I don't see any problem with the patch applied on Fedora packages, which is a bit different. Thank you, Breno |