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

miscounting of variable-only clauses in groups might lead to bug in indexing

Browse Source 
code.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1217 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2004-12-21 17:17:15 +00:00
parent a4f158fd33
commit c0c9dcef65
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
C/index.c
View File

@ -11,8 +11,11 @@
* File: index.c * * File: index.c *
* comments: Indexing a Prolog predicate * * comments: Indexing a Prolog predicate *
* * * *
* Last rev: $Date: 2004-12-06 04:50:22 $,$Author: vsc $ * * Last rev: $Date: 2004-12-21 17:17:15 $,$Author: vsc $ *
* $Log: not supported by cvs2svn $ * $Log: not supported by cvs2svn $
* Revision 1.110 2004/12/06 04:50:22 vsc
* fix bug in removing first clause of a try sequence (lu preds)
*
* Revision 1.109 2004/12/05 05:01:24 vsc * Revision 1.109 2004/12/05 05:01:24 vsc
* try to reduce overheads when running with goal expansion enabled. * try to reduce overheads when running with goal expansion enabled.
* CLPBN fixes * CLPBN fixes
@ -2828,9 +2831,9 @@ groups_in(ClauseDef *min, ClauseDef *max, GroupDef *grp)
grp->LastClause = (min = clp)-1; grp->LastClause = (min = clp)-1;
break; break;
} }
clp++;
if (clp->Tag != (_var+1)*sizeof(CELL)) if (clp->Tag != (_var+1)*sizeof(CELL))
grp->VarClauses++; grp->VarClauses++;
clp++;
} while (TRUE); } while (TRUE);
} else { } else {
grp->VarClauses = 0; grp->VarClauses = 0;