Am 08.10.2014 um 09:34 schrieb Michael Tautschnig: > Hi Matthias, > > [...] >> afaics not a GCC issue. please recheck with binutils 2.24.51.20141001-3 >> > > This *is* binutils 2.24.51.20141001-3: > > # zcat /usr/share/doc/binutils/changelog.Debian.gz | head -n 1 > binutils (2.24.51.20141001-3) unstable; urgency=medium > > And indeed only this version would yield the more detailed list of overlapping > .eh_frame_hdr, rather than merely saying that there were some as was the case > in > 2.24.51.20141001-1. Though this doesn't seem to be an issue of zero-sized > exception handling frames, as was discussed in the context of Mesa and Clang. > > So if it isn't a GCC issue, should I reassign to binutils instead? (I have no > intention of playing a bug-assigning ping-pong, but I do fail to see what > might > be wrong in CBMC. But I'm happy to assist by providing any input that would be > deemed useful.)
Both the abr and the cbmc package builds link the .a files using ld -r, not with ar rcf. at least I can workaround this link failure for now when building the package this way. Filed upstream https://sourceware.org/bugzilla/show_bug.cgi?id=17467 -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
