mirror/emacs
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/emacs.git synced 2024-12-17 10:06:13 +00:00
Code Issues Releases Activity

Fix (round FLOAT BIGNUM) bug

Browse Source 
* src/floatfns.c (rounding_driver): Fix bug when one
argument is a float and the other is a bignum.
* test/src/floatfns-tests.el (bignum-round): Test for the bug.
This commit is contained in:
Paul Eggert 2018-09-04 11:49:41 -07:00
parent 628f6a2c7a
commit 21637d5e5b
2 changed files with 10 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/floatfns.c
View File

@ -355,6 +355,8 @@ rounding_driver (Lisp_Object arg, Lisp_Object divisor,
CHECK_NUMBER (divisor);
if (!FLOATP (arg) && !FLOATP (divisor))
{
/* Divide as integers. Converting to double might lose
info, even for fixnums; also see the FIXME below. */
if (EQ (divisor, make_fixnum (0)))
xsignal0 (Qarith_error);
int_divide (mpz[0],
@ -363,10 +365,11 @@ rounding_driver (Lisp_Object arg, Lisp_Object divisor,
return make_integer_mpz ();
}
double f1 = FLOATP (arg) ? XFLOAT_DATA (arg) : XFIXNUM (arg);
double f2 = FLOATP (divisor) ? XFLOAT_DATA (divisor) : XFIXNUM (divisor);
double f1 = XFLOATINT (arg);
double f2 = XFLOATINT (divisor);
if (! IEEE_FLOATING_POINT && f2 == 0)
xsignal0 (Qarith_error);
/* FIXME: This division rounds, so the result is double-rounded. */
d = f1 / f2;
}

5
test/src/floatfns-tests.el
View File

@ -70,6 +70,11 @@
(should (= n (floor n)))
(should (= n (round n)))
(should (= n (truncate n)))
(let ((-n (- n))
(f (float n))
(-f (- (float n))))
(should (= 1 (round n f) (round -n -f) (round f n) (round -f -n)))
(should (= -1 (round -n f) (round n -f) (round f -n) (round -f n))))
(dolist (d ns)
(let ((q (/ n d))
(r (% n d))