From 6f9dd7d3ecceb8a939ea537b6d9abc9988bc4c71 Mon Sep 17 00:00:00 2001 From: Paolo Bonzini Date: Wed, 30 Nov 2011 01:58:54 +0100 Subject: [PATCH] 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. --- ChangeLog | 6 ++++++ tests/test-float.c | 9 +-------- 2 files changed, 7 insertions(+), 8 deletions(-) diff --git a/ChangeLog b/ChangeLog index 66a54f004..272dded70 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +2011-11-29 Paolo Bonzini + + 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 (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 57a472fae..1d3edbb46 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. */ -- 2.11.0