diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix overflow while dumping very large big ints (Ulrich #18)

Browse Source
This commit is contained in:
Vitor Santos Costa
2009-05-20 08:12:18 -07:00
parent 26057240a8
commit aaec9ddceb
1 changed files with 22 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

25
C/write.c
View File

@@ -536,11 +536,30 @@ writeTerm(Term t, int p, int depth, int rinfixarg, struct write_globs *wglb)
#ifdef USE_GMP #ifdef USE_GMP
{ {
MP_INT *big = Yap_BigIntOfTerm(t); MP_INT *big = Yap_BigIntOfTerm(t);
char *s = (char *)TR; char *s;
if (s+3+mpz_sizeinbase(big, 10) >= Yap_TrailTop) { s = (char *) Yap_PreAllocCodeSpace();
while (s+3+mpz_sizeinbase(big, 10) >= (char *)AuxSp) {
if (!Yap_ExpandPreAllocCodeSpace(mpz_sizeinbase(big, 10),NULL)) {
s = NULL;
break;
}
s = (char *) Yap_PreAllocCodeSpace();
}
if (!s) {
s = (char *)TR;
while (s+3+mpz_sizeinbase(big, 10) >= Yap_TrailTop) {
if (!Yap_growtrail(mpz_sizeinbase(big, 10)/sizeof(CELL), FALSE)) {
s = NULL;
break;
}
s = (char *)TR;
}
}
if (!s) {
s = (char *)H; s = (char *)H;
if (s+3+mpz_sizeinbase(big, 10) >= (char *)ASP) { if (s+3+mpz_sizeinbase(big, 10) >= (char *)ASP) {
return; Yap_Error(OUT_OF_STACK_ERROR,TermNil,"not enough space to write bignum: it requires %d bytes", 3+mpz_sizeinbase(big, 10));
s = NULL;
} }
} }
if (!s) if (!s)