/* Test of rounding towards positive infinity.
- Copyright (C) 2007-2010 Free Software Foundation, Inc.
+ Copyright (C) 2007-2014 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
#include "isnand-nolibm.h"
#include "minus-zero.h"
+#include "infinity.h"
#include "nan.h"
#include "macros.h"
ASSERT (ceil (-65536.0) == -65536.0);
ASSERT (ceil (-2.341e31) == -2.341e31);
/* Infinite numbers. */
- ASSERT (ceil (1.0 / 0.0) == 1.0 / 0.0);
- ASSERT (ceil (-1.0 / 0.0) == -1.0 / 0.0);
+ ASSERT (ceil (Infinityd ()) == Infinityd ());
+ ASSERT (ceil (- Infinityd ()) == - Infinityd ());
/* NaNs. */
ASSERT (isnand (ceil (NaNd ())));