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

fix clean_trail: with threads, objects may be above stack, not just below.

Browse Source
This commit is contained in:
Vitor Santos Costa 2009-05-05 09:56:47 -05:00
parent 6a6b18b045
commit 32b08082f7
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
C/exec.c
View File

@ -1408,6 +1408,7 @@ clean_trail(Term t)
pbase = B->cp_tr; pbase = B->cp_tr;
pt1 = TR - 1; pt1 = TR - 1;
fprintf(stderr,"pbase=%p TR=%p\n",pbase,TR);
while (pt1 >= pbase) { while (pt1 >= pbase) {
Term d1 = TrailTerm(pt1); Term d1 = TrailTerm(pt1);
if (IsVarTerm(d1)) { if (IsVarTerm(d1)) {
@ -1423,7 +1424,7 @@ clean_trail(Term t)
pt1--; pt1--;
} else if (IsPairTerm(d1)) { } else if (IsPairTerm(d1)) {
CELL *pt = RepPair(d1); CELL *pt = RepPair(d1);
if ((ADDR) pt >= Yap_TrailBase) { if ((ADDR) pt >= Yap_TrailBase && (ADDR)pt < Yap_TrailTop) {
/* skip, this is a problem because we lose information, /* skip, this is a problem because we lose information,
namely active references */ namely active references */
pt1 = (tr_fr_ptr)pt; pt1 = (tr_fr_ptr)pt;