https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67728
--- Comment #25 from Andrew Roberts <andrewm.roberts at sky dot com> --- The patch works on native armv7l-unknown-linux-gnuabihf with: gcc-6-20160320 and in tree gmp 6.1.0 mpc 1.0.3 mpfr 3.1.4 isl 0.16.1 although I wasn't seeing a problem with check-mpc. At least the build completes without needing the GMP snapshot or seding none- to `uname -m`- in the makefile.
