Index: gcc/mpfr/tests/toutimpl.c |
diff --git a/gcc/mpfr/tests/toutimpl.c b/gcc/mpfr/tests/toutimpl.c |
deleted file mode 100644 |
index 5b035fca22bb75a5cc21c6e1c0fc4eca2d45a24f..0000000000000000000000000000000000000000 |
--- a/gcc/mpfr/tests/toutimpl.c |
+++ /dev/null |
@@ -1,124 +0,0 @@ |
-/* Test file for internal debugging-out functions: |
- mpfr_dump, mpfr_print_binary, mpfr_print_rnd_mode. |
- |
-Copyright 2004, 2005, 2006, 2007, 2008, 2009 Free Software Foundation, Inc. |
-Contributed by the Arenaire and Cacao projects, INRIA. |
- |
-This file is part of the GNU MPFR Library. |
- |
-The GNU MPFR Library is free software; you can redistribute it and/or modify |
-it under the terms of the GNU Lesser General Public License as published by |
-the Free Software Foundation; either version 2.1 of the License, or (at your |
-option) any later version. |
- |
-The GNU MPFR Library is distributed in the hope that it will be useful, but |
-WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY |
-or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public |
-License for more details. |
- |
-You should have received a copy of the GNU Lesser General Public License |
-along with the GNU MPFR Library; see the file COPYING.LIB. If not, write to |
-the Free Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, |
-MA 02110-1301, USA. */ |
- |
-#include <stdlib.h> |
-#include <stdio.h> |
-#include <string.h> |
-#include "mpfr-test.h" |
- |
-/* We output stdout to a file to check if it is correct |
- Is it a good idea? |
- We can't use tmpname since it is insecure */ |
-#define FILE_NAME "dummy.tmp" |
- |
-static const char Buffer[] = |
-"@NaN@\n" |
-"-@Inf@\n" |
-"-0\n" |
-"0.10101010101011111001000110001100010000100000000000000E32\n"; |
- |
-int |
-main (void) |
-{ |
- mpfr_t x; |
- FILE *f; |
- int i; |
- |
- tests_start_mpfr (); |
- |
- /* Check RND_MODE */ |
- if (strcmp (mpfr_print_rnd_mode(GMP_RNDN), "GMP_RNDN")) |
- { |
- printf ("Error for printing GMP_RNDN\n"); |
- exit (1); |
- } |
- if (strcmp (mpfr_print_rnd_mode(GMP_RNDU), "GMP_RNDU")) |
- { |
- printf ("Error for printing GMP_RNDU\n"); |
- exit (1); |
- } |
- if (strcmp (mpfr_print_rnd_mode(GMP_RNDD), "GMP_RNDD")) |
- { |
- printf ("Error for printing GMP_RNDD\n"); |
- exit (1); |
- } |
- if (strcmp (mpfr_print_rnd_mode(GMP_RNDZ), "GMP_RNDZ")) |
- { |
- printf ("Error for printing GMP_RNDZ\n"); |
- exit (1); |
- } |
- if (mpfr_print_rnd_mode ((mp_rnd_t) -1) != NULL || |
- mpfr_print_rnd_mode (GMP_RND_MAX) != NULL) |
- { |
- printf ("Error for illegal rounding mode values.\n"); |
- exit (1); |
- } |
- |
- /* Reopen stdout to a file. All errors will be put to stderr |
- Can't use tmpname since it is unsecure */ |
- if (freopen (FILE_NAME, "w", stdout) == NULL) |
- { |
- printf ("Error can't redirect stdout\n"); |
- exit (1); |
- } |
- mpfr_init (x); |
- mpfr_set_nan (x); |
- mpfr_dump (x); |
- mpfr_set_inf (x, -1); |
- mpfr_dump (x); |
- MPFR_SET_ZERO (x); MPFR_SET_NEG (x); |
- mpfr_dump (x); |
- mpfr_set_str_binary (x, "0.101010101010111110010001100011000100001E32"); |
- mpfr_dump (x); |
- mpfr_print_mant_binary ("x=",MPFR_MANT(x), MPFR_PREC(x)); |
- |
- |
- mpfr_clear (x); |
- fclose (stdout); |
- /* Open it and check for it */ |
- f = fopen (FILE_NAME, "r"); |
- if (f == NULL) |
- { |
- fprintf (stderr, "Can't reopen file!\n"); |
- exit (1); |
- } |
- for(i = 0 ; i < sizeof(Buffer)-1 ; i++) |
- { |
- if (feof (f)) |
- { |
- fprintf (stderr, "Error EOF\n"); |
- exit (1); |
- } |
- if (Buffer[i] != fgetc (f)) |
- { |
- fprintf (stderr, "Character mismatch for i=%d / %lu\n", |
- i, (unsigned long) sizeof(Buffer)); |
- exit (1); |
- } |
- } |
- fclose (f); |
- |
- remove (FILE_NAME); |
- tests_end_mpfr (); |
- return 0; |
-} |