/* Test of rounding towards positive infinity.
- Copyright (C) 2010-2012 Free Software Foundation, Inc.
+ Copyright (C) 2010-2013 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 <math.h>
#include "fpucw.h"
+#include "isnanl-nolibm.h"
#include "minus-zero.h"
+#include "infinity.h"
+#include "nan.h"
#include "macros.h"
int
ASSERT (!!signbit (ceill (-0.3L)) == !!signbit (minus_zerol));
ASSERT (!!signbit (ceill (-0.7L)) == !!signbit (minus_zerol));
+ /* [MX] shaded specification in POSIX. */
+
+ /* NaN. */
+ ASSERT (isnanl (ceill (NaNl ())));
+ /* Infinity. */
+ ASSERT (ceill (Infinityl ()) == Infinityl ());
+ ASSERT (ceill (- Infinityl ()) == - Infinityl ());
+
return 0;
}