Bug#763228: Processed: g++ producing overlapping exception frames [was: Re: Bug#763228: cbmc: FTBFS: ld: final link failed: Bad value]
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 found in versions cbmc/4.9-3.
> Ignoring request to alter fixed versions of bug #763228 to the same values previously set
> Bug #763228 [g++-4.9] cbmc: FTBFS: ld: final link failed: Bad value
> Marked as found in versions gcc-4.9/4.9.1-16.
>> affects -1 cbmc
> Bug #763228 [g++-4.9] cbmc: FTBFS: ld: final link failed: Bad value
> Added indication that 763228 affects cbmc
afaics not a GCC issue. please recheck with binutils 2.24.51.20141001-3
Reply to: