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

2014-10-08 Thread Debian Bug Tracking System
Processing control commands: > forwarded -1 https://sourceware.org/bugzilla/show_bug.cgi?id=17467 Bug #763228 [src:cbmc] cbmc: FTBFS: ld: final link failed: Bad value Set Bug forwarded-to-address to 'https://sourceware.org/bugzilla/show_bug.cgi?id=17467'. -- 763228: http://bugs.debian.org/cgi-b

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

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)

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 t

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

2014-10-07 Thread Debian Bug Tracking System
Processing control commands: > reassign -1 src:cbmc Bug #763228 [g++-4.9] cbmc: FTBFS: ld: final link failed: Bad value Bug reassigned from package 'g++-4.9' to 'src:cbmc'. No longer marked as found in versions gcc-4.9/4.9.1-16. Ignoring request to alter fixed versions of bug #763228 to the same v

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

2014-10-07 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 marke

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=arb&arch=i386&ver=6.0.2-1&stamp=1412337993&file=log > > > It seems to be a bug in binutils[1]. > > I'd say a change in binutils exposed a bug somewhere in the too

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

2014-10-07 Thread 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 found in versions cbmc/4.9-3. Ignoring request to alter fixed versions of bug #763228 to the sam

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=arb&arch=i386&ver=6.0.2-1&stamp=1412337993&file=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: https://w

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] https://bugs.launchpad.net/ubuntu/+sou

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: .eh_fra