Bug#763228: Processed: g++ producing overlapping exception frames [was: Re: Bug#763228: cbmc: FTBFS: ld: final link failed: Bad value]

2014-10-08 Thread Matthias Klose
Control: reassign -1 src:cbmc Am 08.10.2014 um 02:45 schrieb Debian Bug Tracking System: Processing control commands: reassign -1 g++-4.9 4.9.1-16 Bug #763228 [src:cbmc] cbmc: FTBFS: ld: final link failed: Bad value Bug reassigned from package 'src:cbmc' to 'g++-4.9'. No longer marked as

Bug#763228: Processed: g++ producing overlapping exception frames [was: Re: Bug#763228: cbmc: FTBFS: ld: final link failed: Bad value]

2014-10-08 Thread 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

Bug#763228: Processed: g++ producing overlapping exception frames [was: Re: Bug#763228: cbmc: FTBFS: ld: final link failed: Bad value]

2014-10-08 Thread Matthias Klose
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;

Bug#763228: Processed: g++ producing overlapping exception frames [was: Re: Bug#763228: cbmc: FTBFS: ld: final link failed: Bad value]

2014-10-08 Thread Michael Tautschnig
Control: forwarded -1 https://sourceware.org/bugzilla/show_bug.cgi?id=17467 Hi again, [...] 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

Bug#763228: g++ producing overlapping exception frames [was: Re: Bug#763228: cbmc: FTBFS: ld: final link failed: Bad value]

2014-10-07 Thread Michael Tautschnig
Control: reassign -1 g++-4.9 4.9.1-16 Control: affects -1 cbmc This also occurs with arb: https://buildd.debian.org/fetch.cgi?pkg=arbarch=i386ver=6.0.2-1stamp=1412337993file=log It seems to be a bug in binutils[1]. I'd say a change in binutils exposed a bug somewhere in the toolchain.

Bug#763228: cbmc: FTBFS: ld: final link failed: Bad value

2014-10-03 Thread Elmar Pruesse
This also occurs with arb: https://buildd.debian.org/fetch.cgi?pkg=arbarch=i386ver=6.0.2-1stamp=1412337993file=log It seems to be a bug in binutils[1]. I'd say a change in binutils exposed a bug somewhere in the toolchain. Here's the commit which added the check and the message:

Bug#763228: cbmc: FTBFS: ld: final link failed: Bad value

2014-09-30 Thread Gabriel Corona
Hello, Same problem here when trying to compile LLVM/clang: .eh_frame_hdr refers to overlapping FDEs. It seems to be a bug in binutils[1]. I updated to binutils 2.24.51.20140918-1 today at 11:05:02: before this the compilation was working correctly. [1]

Bug#763228: cbmc: FTBFS: ld: final link failed: Bad value

2014-09-28 Thread David Suárez
Source: cbmc Version: 4.9-3 Severity: serious Tags: jessie sid User: debian...@lists.debian.org Usertags: qa-ftbfs-20140926 qa-ftbfs Justification: FTBFS on amd64 Hi, During a rebuild of all packages in sid, your package failed to build on amd64. Relevant part (hopefully): /usr/bin/ld: