-#include <limits.h>
-#include <stdlib.h>
-
-#define ASSERT(expr) if (!(expr)) abort ();
-
-int
-main ()
-{
- /* Finite values. */
- ASSERT (!isnanl (3.141L));
- ASSERT (!isnanl (3.141e30L));
- ASSERT (!isnanl (3.141e-30L));
- ASSERT (!isnanl (-2.718L));
- ASSERT (!isnanl (-2.718e30L));
- ASSERT (!isnanl (-2.718e-30L));
- /* Infinite values. */
- ASSERT (!isnanl (1.0L / 0.0L));
- ASSERT (!isnanl (-1.0L / 0.0L));
- /* Quiet NaN. */
- ASSERT (isnanl (0.0L / 0.0L));
-#if defined LDBL_EXPBIT0_WORD && defined LDBL_EXPBIT0_BIT
- /* Signalling NaN. */
- {
- #define NWORDS \
- ((sizeof (long double) + sizeof (unsigned int) - 1) / sizeof (unsigned int))
- typedef union { long double value; unsigned int word[NWORDS]; }
- memory_long_double;
- memory_long_double m;
- m.value = 0.0L / 0.0L;
-# if LDBL_EXPBIT0_BIT > 0
- m.word[LDBL_EXPBIT0_WORD] ^= (unsigned int) 1 << (LDBL_EXPBIT0_BIT - 1);
-# else
- m.word[LDBL_EXPBIT0_WORD + (LDBL_EXPBIT0_WORD < NWORDS / 2 ? 1 : - 1)]
- ^= (unsigned int) 1 << (sizeof (unsigned int) * CHAR_BIT - 1);
-# endif
- m.word[LDBL_EXPBIT0_WORD + (LDBL_EXPBIT0_WORD < NWORDS / 2 ? 1 : - 1)]
- |= (unsigned int) 1 << LDBL_EXPBIT0_BIT;
- ASSERT (isnanl (m.value));
- }
-#endif
- return 0;
-}
-
-#else
-
-int
-main ()
-{
- return 0;
-}
-
-#endif