diff options
| author | tege <tege@gmplib.org> | 2002-12-01 02:53:35 +0100 |
|---|---|---|
| committer | tege <tege@gmplib.org> | 2002-12-01 02:53:35 +0100 |
| commit | 80d67f4c0cbf106cb999cc2f9d1d91d837780af6 (patch) | |
| tree | a2849e19f6c9ae8685974399dbbfe57032dfc40a | |
| parent | 0995cfd905c72515e85c5a802a307608d141d181 (diff) | |
| download | gmp-80d67f4c0cbf106cb999cc2f9d1d91d837780af6.tar.gz | |
abort => ASSERT_ALWAYS.
| -rw-r--r-- | extract-dbl.c | 3 | ||||
| -rw-r--r-- | mpz/set_d.c | 4 |
2 files changed, 3 insertions, 4 deletions
diff --git a/extract-dbl.c b/extract-dbl.c index 1a7e37b42..33cecef43 100644 --- a/extract-dbl.c +++ b/extract-dbl.c @@ -116,8 +116,7 @@ __gmp_extract_double (mp_ptr rp, double d) exp = 0; if (d >= 1.0) { - if (d * 0.5 == d) - abort (); + ASSERT_ALWAYS (d * 0.5 != d); while (d >= 32768.0) { diff --git a/mpz/set_d.c b/mpz/set_d.c index 2c566f5a3..0ec74e24a 100644 --- a/mpz/set_d.c +++ b/mpz/set_d.c @@ -68,7 +68,7 @@ mpz_set_d (mpz_ptr r, double d) break; case 1: /* handled in "small aguments" case above */ - abort (); + ASSERT_ALWAYS (0); } #else switch (rn) @@ -82,7 +82,7 @@ mpz_set_d (mpz_ptr r, double d) break; case 1: /* handled in "small aguments" case above */ - abort (); + ASSERT_ALWAYS (0); } #endif |