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

debugging

This commit is contained in:
Vítor Santos Costa 2013-11-08 12:43:28 +00:00
parent ea44e780b6
commit 7065c4678e
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
C/index.c
View File

@ -4545,6 +4545,8 @@ remove_dirty_clauses_from_index(yamop *header)
endop = Yap_opcode(_count_trust_logical);
else if (ap->PredFlags & ProfiledPredFlag)
endop = Yap_opcode(_profiled_trust_logical);
//printf("E0 %p: %p %p\n", header, header->u.Illss.l1, header->u.Illss.l2);
//printf("E1 %p %d %d %p\n", curp, header->u.Illss.s, header->u.Illss.e, endop);
while ((cl = curp->u.OtaLl.d) && (cl->ClFlags & ErasedMask)) {
yamop *ocurp = curp;
@ -4553,6 +4555,7 @@ remove_dirty_clauses_from_index(yamop *header)
Yap_DirtyCps--;
Yap_FreedCps++;
#endif
//printf("loop %p %p %d %p\n", curp, curp->u.OtaLl.n, header->u.Illss.e, curp->opc);
clean_ref_to_clause(cl);
curp = curp->u.OtaLl.n;
Yap_LUIndexSpace_CP -= (UInt)NEXTOP((yamop*)NULL,OtaLl);