diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2015-02-25 11:51:34 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2015-02-25 11:51:34 +0000 |
commit | 9a709e9e09601fe96c95215a561d82ca7e14f19f (patch) | |
tree | 08d8c7e46d79a638c5aae32e6c80aa3f4af1754a /src | |
parent | 0b0deffc045948c4f9380289328f9e0c3c6680cb (diff) | |
download | mpfr-9a709e9e09601fe96c95215a561d82ca7e14f19f.tar.gz |
Updated value coverage checking for mpfr_sum.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9317 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'src')
-rw-r--r-- | src/mpfr-impl.h | 2 | ||||
-rw-r--r-- | src/sum.c | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/mpfr-impl.h b/src/mpfr-impl.h index 66c56afbd..0caec6f18 100644 --- a/src/mpfr-impl.h +++ b/src/mpfr-impl.h @@ -2093,7 +2093,7 @@ __MPFR_DECLSPEC void mpfr_mpz_clear _MPFR_PROTO((mpz_ptr)); extern "C" { #endif -__MPFR_DECLSPEC extern int __gmpfr_cov_sum_tmd[MPFR_RND_MAX][2][2][3]; +__MPFR_DECLSPEC extern int __gmpfr_cov_sum_tmd[MPFR_RND_MAX][2][2][3][2]; #if defined (__cplusplus) } @@ -37,7 +37,7 @@ VL: This is very different: */ #ifdef MPFR_COV_CHECK -int __gmpfr_cov_sum_tmd[MPFR_RND_MAX][2][2][3] = { 0 }; +int __gmpfr_cov_sum_tmd[MPFR_RND_MAX][2][2][3][2] = { 0 }; #endif /* Update minexp after detecting a potential integer overflow in extreme @@ -897,7 +897,7 @@ sum_aux (mpfr_ptr sum, mpfr_ptr *const x, unsigned long n, mpfr_rnd_t rnd, MPFR_LOG_MSG (("[Step 8] tmd=%d rbit=%d sst=%d\n", tmd, (int) rbit, sst)); - MPFR_COV_SET (sum_tmd[(int) rnd][tmd-1][rbit][sst+1]); + MPFR_COV_SET (sum_tmd[(int) rnd][tmd-1][rbit][sst+1][pos]); inex = MPFR_IS_LIKE_RNDD (rnd, pos ? 1 : -1) ? (sst ? -1 : 0) : |