X-Git-Url: http://erislabs.net/gitweb/?a=blobdiff_plain;ds=sidebyside;f=lib%2Fprintf-frexp.c;h=e6032a4fb0fe9d4a61707d3c1ea5a856112f2528;hb=a9e638f0e4d6928c12f2b374bc369bb1ecf2cdfe;hp=427ee9485a860fbe7d9b539a42a93f07702b6e89;hpb=e5de8bf80c52f872c5ca944db9bf3fd28993bd2e;p=gnulib.git

diff --git a/lib/printf-frexp.c b/lib/printf-frexp.c
index 427ee9485..e6032a4fb 100644
--- a/lib/printf-frexp.c
+++ b/lib/printf-frexp.c
@@ -28,10 +28,10 @@
 
 # include <float.h>
 # include <math.h>
-# include "verify.h"
 
-/* This file assumes FLT_RADIX is 2.  */
-verify (FLT_RADIX == 2);
+/* This file assumes FLT_RADIX = 2.  If FLT_RADIX is a power of 2 greater
+   than 2, or not even a power of 2, some rounding errors can occur, so that
+   then the returned mantissa is only guaranteed to be <= 2.0, not < 2.0.  */
 
 # ifdef USE_LONG_DOUBLE
 #  define FUNC printf_frexpl