From 9cec307a1136b7d8ce7dc2c6fb2083526e599474 Mon Sep 17 00:00:00 2001
From: Mark Dickinson <dickinsm@gmail.com>
Date: Mon, 19 Jul 2010 07:31:40 +0000
Subject: [PATCH] Remove temporary debugging code.

---
 configure    | 41 +----------------------------------------
 configure.in | 20 --------------------
 2 files changed, 1 insertion(+), 60 deletions(-)

diff --git a/configure b/configure
index e8a62eec253..d48e8dcb64b 100755
--- a/configure
+++ b/configure
@@ -1,5 +1,5 @@
 #! /bin/sh
-# From configure.in Revision: 82746 .
+# From configure.in Revision: 82090 .
 # Guess values for system-dependent variables and create Makefiles.
 # Generated by GNU Autoconf 2.65 for python 3.2.
 #
@@ -11641,45 +11641,6 @@ $as_echo "#define DOUBLE_IS_ARM_MIXED_ENDIAN_IEEE754 1" >>confdefs.h
 
 fi
 
-# Temporary check for a floating-point bug that appeared on ARM.
-{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for buggy subnormal floating-point" >&5
-$as_echo_n "checking for buggy subnormal floating-point... " >&6; }
-if test "${ac_cv_buggy_subnormal+set}" = set; then :
-  $as_echo_n "(cached) " >&6
-else
-
-if test "$cross_compiling" = yes; then :
-  ac_cv_buggy_subnormal=no
-else
-  cat confdefs.h - <<_ACEOF >conftest.$ac_ext
-/* end confdefs.h.  */
-
-int main() {
-    double MIN = 2.2250738585072014e-308;  /* 2**-1022 */
-    double TINY = 4.9406564584124654e-324; /* 2**-1074 */
-    double TRIPLE_TINY = 1.4821969375237396e-323;  /* 3 * TINY */
-
-    double diff = MIN - TRIPLE_TINY;
-    double expected_diff = 2.2250738585071999e-308;
-
-    return !(diff == expected_diff);
-}
-
-_ACEOF
-if ac_fn_c_try_run "$LINENO"; then :
-  ac_cv_buggy_subnormal=no
-else
-  ac_cv_buggy_subnormal=yes
-fi
-rm -f core *.core core.conftest.* gmon.out bb.out conftest$ac_exeext \
-  conftest.$ac_objext conftest.beam conftest.$ac_ext
-fi
-
-fi
-
-{ $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_buggy_subnormal" >&5
-$as_echo "$ac_cv_buggy_subnormal" >&6; }
-
 # The short float repr introduced in Python 3.1 requires the
 # correctly-rounded string <-> double conversion functions from
 # Python/dtoa.c, which in turn require that the FPU uses 53-bit
diff --git a/configure.in b/configure.in
index 69cd0e33577..4a7e99a788f 100644
--- a/configure.in
+++ b/configure.in
@@ -3334,26 +3334,6 @@ then
    in ARM mixed-endian order (byte order 45670123)])
 fi
 
-# Temporary check for a floating-point bug that appeared on ARM.
-AC_MSG_CHECKING(for buggy subnormal floating-point)
-AC_CACHE_VAL(ac_cv_buggy_subnormal, [
-AC_RUN_IFELSE([AC_LANG_SOURCE([[
-int main() {
-    double MIN = 2.2250738585072014e-308;  /* 2**-1022 */
-    double TINY = 4.9406564584124654e-324; /* 2**-1074 */
-    double TRIPLE_TINY = 1.4821969375237396e-323;  /* 3 * TINY */
-
-    double diff = MIN - TRIPLE_TINY;
-    double expected_diff = 2.2250738585071999e-308;
-
-    return !(diff == expected_diff);    
-}
-]])],
-[ac_cv_buggy_subnormal=no],
-[ac_cv_buggy_subnormal=yes],
-[ac_cv_buggy_subnormal=no])])
-AC_MSG_RESULT($ac_cv_buggy_subnormal)
-
 # The short float repr introduced in Python 3.1 requires the
 # correctly-rounded string <-> double conversion functions from
 # Python/dtoa.c, which in turn require that the FPU uses 53-bit