/* Test of POSIX compatible dprintf() function.
- Copyright (C) 2007-2009 Free Software Foundation, Inc.
+ Copyright (C) 2007-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 <stdint.h>
#include <string.h>
+#include "infinity.h"
#include "macros.h"
static void
my_dprintf (fileno (stdout), "%a %d\n", 0.0, 33, 44, 55);
/* Positive infinity. */
- my_dprintf (fileno (stdout), "%a %d\n", 1.0 / 0.0, 33, 44, 55);
+ my_dprintf (fileno (stdout), "%a %d\n", Infinityd (), 33, 44, 55);
/* Negative infinity. */
- my_dprintf (fileno (stdout), "%a %d\n", -1.0 / 0.0, 33, 44, 55);
+ my_dprintf (fileno (stdout), "%a %d\n", - Infinityd (), 33, 44, 55);
/* FLAG_ZERO with infinite number. */
- my_dprintf (fileno (stdout), "%010a %d\n", 1.0 / 0.0, 33, 44, 55);
+ my_dprintf (fileno (stdout), "%010a %d\n", Infinityd (), 33, 44, 55);
/* Test the support of the %f format directive. */