http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53525
--- Comment #18 from Mathias Gaunard <mathias at gaunard dot com> --- I'm not competent enough to make my own builds of GCC with patches, and I unfortunately do not have much time to contribute to this either. If someone can give me binaries for debian x86-64 I can do some tests though.
