http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57848
--- Comment #6 from Dongsheng Song <dongsheng.song at gmail dot com> --- Linux gcc 4.4.5 (Debian GNU/Linux 6.0), gcc 4.4.7 (Red Hat Enterprise Linux Server release 6.4) failed too.
dongsheng.song at gmail dot com Tue, 09 Jul 2013 21:49:22 -0700
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57848
--- Comment #6 from Dongsheng Song <dongsheng.song at gmail dot com> --- Linux gcc 4.4.5 (Debian GNU/Linux 6.0), gcc 4.4.7 (Red Hat Enterprise Linux Server release 6.4) failed too.