diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2016-05-25 19:46:12 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2016-05-25 19:46:12 +0000 |
| commit | f976f8216322eddcfeb7e29158e659e002f22011 (patch) | |
| tree | 2f7681b5d2c86eabd888378bcb4f72e14fe89fe9 | |
| parent | b4ef10b47c12ebdbd51271867681a5ea01d72c68 (diff) | |
| download | mpfr-f976f8216322eddcfeb7e29158e659e002f22011.tar.gz | |
[src/log_ui.c] Added an assertion.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10376 280ebfd0-de03-0410-8827-d642c229c3f4
| -rw-r--r-- | src/log_ui.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/log_ui.c b/src/log_ui.c index ca9f91d01..9643a5e44 100644 --- a/src/log_ui.c +++ b/src/log_ui.c @@ -47,6 +47,7 @@ S (mpz_t *P, unsigned long *q, mpz_t *B, mpz_t *T, unsigned long n1, unsigned long n2, long p, unsigned long k, int need_P) { MPFR_ASSERTD (n1 < n2); + MPFR_ASSERTD (p == 0 || ((unsigned long) p & 1) != 0); if (n2 == n1 + 1) { mpz_set_si (P[0], (n1 == 1) ? p : -p); |