X-Git-Url: http://erislabs.net/gitweb/?a=blobdiff_plain;f=tests%2Ftest-ceilf2.c;h=17aac846aeae5fbe03411c8a436b552e4c39500b;hb=b06da86eb05ed57e2861061ae5cacf4c7a3686f1;hp=7d3c42ff4cbfdcae1b2f135f3a2844b6f63d9b35;hpb=c7f33ef75bc531bc875e34019324811962b001d1;p=gnulib.git

diff --git a/tests/test-ceilf2.c b/tests/test-ceilf2.c
index 7d3c42ff4..17aac846a 100644
--- a/tests/test-ceilf2.c
+++ b/tests/test-ceilf2.c
@@ -1,5 +1,5 @@
 /* Test of rounding towards positive 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 && result - x < 1 :
      equal (result, x));
 }