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