[tests/tget_flt.c] Removed bug_icx (duplicate test).

What was tested was just mpfr_get_flt on a NaN mpfr_t. But this was
already tested in main(). And one gets the same result and error with
icx (without -fp-model=strict). Moreover, the old test was correctly
protected by "#if !defined(MPFR_ERRDIVZERO)", needed because NaN is
defined by 0.0 / 0.0.

git-svn-id: https://scm.gforge.inria.fr/anonscm/svn/mpfr/trunk@14556 280ebfd0-de03-0410-8827-d642c229c3f4

1 files changed, 0 insertions, 22 deletions

diff --git a/tests/tget_flt.c b/tests/tget_flt.c
index c432ce31b..04975c004 100644
--- a/tests/tget_flt.c
+++ b/tests/tget_flt.c
@@ -47,26 +47,6 @@ equal_flt (float f, float g)
     }
 }
 
-/* bug with icx 2021.2.0, when MPFR is not compiled with -fp-model=strict */
-static void
-bug_icx (void)
-{
-  mpfr_t x;
-  float y;
-
-  mpfr_init2 (x, 24);
-  mpfr_set_si_2exp (x, -1, -149, MPFR_RNDN);
-  mpfr_log (x, x, MPFR_RNDN);
-  y = mpfr_get_flt (x, MPFR_RNDN);
-  if (!DOUBLE_ISNAN (y))
-    {
-      printf ("Error, mpfr_get_flt(NaN) != NaN\n");
-      printf ("got %a\n", (double) y);
-      exit (1);
-    }
-  mpfr_clear (x);
-}
-
 int
 main (void)
 {
@@ -79,8 +59,6 @@ main (void)
 
   tests_start_mpfr ();
 
-  bug_icx ();
-
 #if !defined(MPFR_ERRDIVZERO)
   infp = (float) MPFR_DBL_INFP;
   if (infp * 0.5 != infp)