# HG changeset patch
# User Jim Meyering <meyering@redhat.com>
# Date 1314805638 -7200
# Node ID 251ce56b555a6f263d27563bbe00eb8d10e752c4
# Parent  c2b10d683d4c4b38669fe9a3a9177ac07df7238f
tests: avoid spurious assertion failure in test-float.c on ppc64

* tests/test-float.c (test_long_double): Comment out an assertion,
LDBL_MIN_EXP <= DBL_MIN_EXP, that is failing at least on PowerPC-64
with gcc-4.4.4.

diff --git a/ChangeLog b/ChangeLog
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,10 @@
 2011-08-31  Jim Meyering  <meyering@redhat.com>
 
+	tests: avoid spurious assertion failure in test-float.c on ppc64
+	* tests/test-float.c (test_long_double): Comment out an assertion,
+	LDBL_MIN_EXP <= DBL_MIN_EXP, that is failing at least on PowerPC-64
+	with gcc-4.4.4.
+
 	maint: indent with spaces, not TABs
 	I need to get in the habit of running gnulib's "make check".
 	Both of these would have been caught.
diff --git a/tests/test-float.c b/tests/test-float.c
--- a/tests/test-float.c
+++ b/tests/test-float.c
@@ -298,7 +298,14 @@
 
   /* Check that 'long double' is at least as wide as 'double'.  */
   ASSERT (LDBL_MANT_DIG >= DBL_MANT_DIG);
-  ASSERT (LDBL_MIN_EXP <= DBL_MIN_EXP);
+
+  /* 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_MAX_EXP >= DBL_MAX_EXP);
 
   /* Check the value of LDBL_DIG.  */