[tests/tget_flt.c] Protect a division by 0.

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

1 files changed, 6 insertions, 2 deletions

diff --git a/tests/tget_flt.c b/tests/tget_flt.c
index 6fa29f663..74a581ab6 100644
--- a/tests/tget_flt.c
+++ b/tests/tget_flt.c
@@ -31,6 +31,11 @@ main (void)
   float f, g, infp;
   int i;
 
+  tests_start_mpfr ();
+
+#if !defined(MPFR_ERRDIVZERO)
+  /* The definition of DBL_POS_INF involves a division by 0. This makes
+     "clang -O2 -fsanitize=undefined -fno-sanitize-recover" fail. */
   infp = (float) DBL_POS_INF;
   if (infp * 0.5 != infp)
     {
@@ -38,8 +43,7 @@ main (void)
       fprintf (stderr, "(this is probably a compiler bug, please report)\n");
       exit (1);
     }
-
-  tests_start_mpfr ();
+#endif
 
   mpfr_init2 (x, 24);
   mpfr_init2 (y, 24);