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.) Best, Michael
pgp8dqGJ0ahjb.pgp
Description: PGP signature
