Bug#717557: gcc-4.8: can't compile working 64bit kernel with 32bit userspace gcc-4.8

[Matthias Klose <doko@debian.org>]

Control: tags -1 + moreinfo

Am 26.07.2013 17:53, schrieb Zlatko Calusic:
> Actually, I now see that when gcc-4.8 is downgraded to 4.8.1-2, the gcc package
> gets downgraded to 4.7.2-1. So probaby all gcc-4.8 version have the problem.
> Last i386 gcc version that successfully compiles 64bit kernel is: gcc version
> 4.7.3 (Debian 4.7.3-5)

is this a kernel released before GCC 4.8 was released? If yes, this should be
expected, and the issue closed.