make check fails (Geert Jan BEX)

[Torbjörn Granlund]

Could somebody with icc installed please try this patch on x86 and ia64?

  configure CC=icc && make && make check

(There will be some line skew when applying the patch.)

diff -r 2483c36be4be configure.ac
--- a/configure.ac	Mon Jan 19 20:23:58 2015 +0100
+++ b/configure.ac	Mon Jan 19 20:46:51 2015 +0100
@@ -837,6 +837,7 @@
 	# But icc miscompiles GMP at any optimization level, at higher levels
 	# it miscompiles more files...
 	icc_cflags_opt="-O2 -O1"
+	icc_cflags_opt_maybe="-fp-model~precise"
 	;;
 
       *-*-hpux*)
@@ -1574,6 +1575,7 @@
     icc_cflags="-no-gcc"
     icc_cflags_optlist="opt"
     icc_cflags_opt="-O3 -O2 -O1"
+    icc_cflags_opt_maybe="-fp-model~precise"
     any_32_testlist="sizeof-long-4"
     gcc_cflags_optlist="cpu arch noavx"
     CALLING_CONVENTIONS_OBJS='x86call.lo x86check$U.lo'
  

-- 
Torbjörn
Please encrypt, key id 0xC8601622