https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65863
--- Comment #1 from Victor Porton <porton at narod dot ru> --- Linux victor.local 3.10-2-amd64 #1 SMP Debian 3.10.7-1 (2013-08-17) x86_64 GNU/Linux with 32 bit userland
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65863
--- Comment #1 from Victor Porton <porton at narod dot ru> --- Linux victor.local 3.10-2-amd64 #1 SMP Debian 3.10.7-1 (2013-08-17) x86_64 GNU/Linux with 32 bit userland