fix expand_consult patch
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1619 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
parent
62f7b73f09
commit
481a01c5e5
@ -11,8 +11,11 @@
|
|||||||
* File: cdmgr.c *
|
* File: cdmgr.c *
|
||||||
* comments: Code manager *
|
* comments: Code manager *
|
||||||
* *
|
* *
|
||||||
* Last rev: $Date: 2006-04-28 17:53:44 $,$Author: vsc $ *
|
* Last rev: $Date: 2006-04-29 01:15:18 $,$Author: vsc $ *
|
||||||
* $Log: not supported by cvs2svn $
|
* $Log: not supported by cvs2svn $
|
||||||
|
* Revision 1.186 2006/04/28 17:53:44 vsc
|
||||||
|
* fix the expand_consult patch
|
||||||
|
*
|
||||||
* Revision 1.185 2006/04/28 13:23:22 vsc
|
* Revision 1.185 2006/04/28 13:23:22 vsc
|
||||||
* fix number of overflow bugs affecting threaded version
|
* fix number of overflow bugs affecting threaded version
|
||||||
* make current_op faster.
|
* make current_op faster.
|
||||||
@ -1624,7 +1627,7 @@ assertz_dynam_clause(PredEntry *p, yamop *cp)
|
|||||||
|
|
||||||
static void expand_consult(void)
|
static void expand_consult(void)
|
||||||
{
|
{
|
||||||
consult_obj *new_cl, *new_cb, *new_cs;
|
consult_obj *new_cl, *new_cs;
|
||||||
UInt OldConsultCapacity = ConsultCapacity;
|
UInt OldConsultCapacity = ConsultCapacity;
|
||||||
|
|
||||||
/* now double consult capacity */
|
/* now double consult capacity */
|
||||||
@ -1637,7 +1640,6 @@ static void expand_consult(void)
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
new_cs = new_cl + InitialConsultCapacity;
|
new_cs = new_cl + InitialConsultCapacity;
|
||||||
new_cb = new_cl + ConsultCapacity;
|
|
||||||
/* start copying */
|
/* start copying */
|
||||||
memcpy((void *)new_cs, (void *)ConsultLow, OldConsultCapacity*sizeof(consult_obj));
|
memcpy((void *)new_cs, (void *)ConsultLow, OldConsultCapacity*sizeof(consult_obj));
|
||||||
/* copying done, release old space */
|
/* copying done, release old space */
|
||||||
|
Reference in New Issue
Block a user