X-Git-Url: http://erislabs.net/gitweb/?a=blobdiff_plain;f=tests%2Ftest-floorf2.c;h=e7fcd98a14f4bc946dd5e97708d1a33ea1127b85;hb=757fcfd1ef1892f1472c0712acdf8a2d4ec774da;hp=5d87866449f30e403584e5fe97f486cac4a6415c;hpb=216ec371a516847ccce093d225ad27dea4895dcb;p=gnulib.git

diff --git a/tests/test-floorf2.c b/tests/test-floorf2.c
index 5d8786644..e7fcd98a1 100644
--- a/tests/test-floorf2.c
+++ b/tests/test-floorf2.c
@@ -1,5 +1,5 @@
 /* Test of rounding towards negative infinity.
-   Copyright (C) 2007 Free Software Foundation, Inc.
+   Copyright (C) 2007-2008 Free Software Foundation, Inc.
 
    This program is free software: you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
@@ -26,7 +26,7 @@
 #include <stdio.h>
 #include <stdlib.h>
 
-#include "isnanf.h"
+#include "isnanf-nolibm.h"
 
 #define ASSERT(expr) \
   do									     \
@@ -34,6 +34,7 @@
       if (!(expr))							     \
         {								     \
           fprintf (stderr, "%s:%d: assertion failed\n", __FILE__, __LINE__); \
+          fflush (stderr);						     \
           abort ();							     \
         }								     \
     }									     \
@@ -112,7 +113,7 @@ correct_result_p (DOUBLE x, DOUBLE result)
 {
   return
     (x < 0 && x >= -1 ? result == - L_(1.0) :
-     x - 1 < x ? result <= x && result > x - 1 :
+     x - 1 < x ? result <= x && result >= x - 1 && x - result < 1 :
      equal (result, x));
 }