summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ChangeLog6
-rw-r--r--tests/test-float.c9
2 files changed, 7 insertions, 8 deletions
diff --git a/ChangeLog b/ChangeLog
index 66a54f0049..272dded70d 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2011-11-29 Paolo Bonzini <bonzini@gnu.org>
+
+ float tests: Correct and re-enable assertion about LDBL_MIN_EXP.
+ * tests/test-float.c (test_long_double): Correct and re-enable the
+ assertion about LDBL_MIN_EXP that was disabled on 2011-08-31.
+
2011-11-29 Matthew Wala <wala1@illinois.edu> (tiny change)
Avoid subtracting two pointers that don't point into the same block.
diff --git a/tests/test-float.c b/tests/test-float.c
index 57a472faea..1d3edbb467 100644
--- a/tests/test-float.c
+++ b/tests/test-float.c
@@ -298,14 +298,7 @@ test_long_double (void)
/* Check that 'long double' is at least as wide as 'double'. */
ASSERT (LDBL_MANT_DIG >= DBL_MANT_DIG);
-
- /* Normally, we would also assert this:
- ASSERT (LDBL_MIN_EXP <= DBL_MIN_EXP);
- but at least on powerpc64 with gcc-4.4.4, it would fail:
- $ :|gcc -dD -E -include stddef.h -|grep -E 'L?DBL_MIN_EXP'
- #define __DBL_MIN_EXP__ (-1021)
- #define __LDBL_MIN_EXP__ (-968)
- */
+ ASSERT (LDBL_MIN_EXP - LDBL_MANT_DIG <= DBL_MIN_EXP - DBL_MANT_DIG);
ASSERT (LDBL_MAX_EXP >= DBL_MAX_EXP);
/* Check the value of LDBL_DIG. */