Fcalva/chibi-scheme
1
0
Fork 0
mirror of https://github.com/ashinn/chibi-scheme.git synced 2025-05-21 22:59:16 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

Division by zero test for non-normalized zero bignums in bignum quotient/remainder.

Browse source
This commit is contained in:
Alex Shinn 2014-01-05 08:52:50 -05:00
parent f1927e5834
commit 6911adb32b
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
bignum.c
View file

@ -469,8 +469,10 @@ sexp sexp_bignum_mul (sexp ctx, sexp dst, sexp a, sexp b) {
sexp sexp_bignum_quot_rem (sexp ctx, sexp *rem, sexp a, sexp b) { sexp sexp_bignum_quot_rem (sexp ctx, sexp *rem, sexp a, sexp b) {
sexp_uint_t d; sexp_uint_t d;
sexp_sint_t alen, blen, sign=1; sexp_sint_t alen, blen=sexp_bignum_hi(b), sign=1;
sexp_gc_var5(q, x, y, a1, b1); sexp_gc_var5(q, x, y, a1, b1);
if (blen == 1 && sexp_bignum_data(b)[0] == 0)
return sexp_xtype_exception(ctx, NULL, "divide by zero", a);
sexp_gc_preserve5(ctx, q, x, y, a1, b1); sexp_gc_preserve5(ctx, q, x, y, a1, b1);
a1 = sexp_copy_bignum(ctx, NULL, a, 0); a1 = sexp_copy_bignum(ctx, NULL, a, 0);
sexp_bignum_sign(a1) = 1; sexp_bignum_sign(a1) = 1;
@ -480,7 +482,6 @@ sexp sexp_bignum_quot_rem (sexp ctx, sexp *rem, sexp a, sexp b) {
x = sexp_make_bignum(ctx, sexp_bignum_length(a)); x = sexp_make_bignum(ctx, sexp_bignum_length(a));
while (sexp_bignum_compare(a1, b1) > 0) { while (sexp_bignum_compare(a1, b1) > 0) {
alen = sexp_bignum_hi(a1); alen = sexp_bignum_hi(a1);
blen = sexp_bignum_hi(b1);
d = sexp_bignum_data(a1)[alen-1] / sexp_bignum_data(b1)[blen-1]; d = sexp_bignum_data(a1)[alen-1] / sexp_bignum_data(b1)[blen-1];
memset(sexp_bignum_data(x), 0, sexp_bignum_length(x)*sizeof(sexp_uint_t)); memset(sexp_bignum_data(x), 0, sexp_bignum_length(x)*sizeof(sexp_uint_t));
if (d == 0) { if (d == 0) {