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

fix trailing issues in numbervars.

Browse Source
This commit is contained in:
Vítor Santos Costa 2012-04-23 15:50:01 +01:00
parent f24bf2e2cd
commit 24d09ffde5
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
C/utilpreds.c
View File

@ -18,11 +18,9 @@
static char SccsId[] = "@(#)utilpreds.c 1.3"; static char SccsId[] = "@(#)utilpreds.c 1.3";
#endif #endif
#include "Yap.h" #include "absmi.h"
#include "clause.h"
#include "YapHeap.h" #include "YapHeap.h"
#include "yapio.h" #include "yapio.h"
#include "eval.h"
#include "attvar.h" #include "attvar.h"
#ifdef HAVE_STRING_H #ifdef HAVE_STRING_H
#include "string.h" #include "string.h"
@ -4370,6 +4368,10 @@ static Int numbervars_in_complex_term(register CELL *pt0, register CELL *pt0_end
goto trail_overflow; goto trail_overflow;
} }
} }
#if defined(TABLING) || defined(YAPOR_SBA)
TrailVal(TR) = (CELL)ptd0;
#endif
TrailTerm(TR++) = (CELL)ptd0; TrailTerm(TR++) = (CELL)ptd0;
} }
/* Do we still have compound terms to visit */ /* Do we still have compound terms to visit */
@ -4387,6 +4389,7 @@ static Int numbervars_in_complex_term(register CELL *pt0, register CELL *pt0_end
goto loop; goto loop;
} }
prune(B);
Yap_ReleasePreAllocCodeSpace((ADDR)to_visit0); Yap_ReleasePreAllocCodeSpace((ADDR)to_visit0);
return numbv; return numbv;