all/3 should fail on no solutions.
get rid of annoying gcc complaints. git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1787 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
parent
0e560e8cb8
commit
3ddc4cef3a
|
@ -11,8 +11,11 @@
|
||||||
* File: cdmgr.c *
|
* File: cdmgr.c *
|
||||||
* comments: Code manager *
|
* comments: Code manager *
|
||||||
* *
|
* *
|
||||||
* Last rev: $Date: 2007-01-24 10:01:38 $,$Author: vsc $ *
|
* Last rev: $Date: 2007-01-25 22:11:55 $,$Author: vsc $ *
|
||||||
* $Log: not supported by cvs2svn $
|
* $Log: not supported by cvs2svn $
|
||||||
|
* Revision 1.203 2007/01/24 10:01:38 vsc
|
||||||
|
* fix matrix mess
|
||||||
|
*
|
||||||
* Revision 1.202 2006/12/27 01:32:37 vsc
|
* Revision 1.202 2006/12/27 01:32:37 vsc
|
||||||
* diverse fixes
|
* diverse fixes
|
||||||
*
|
*
|
||||||
|
@ -5792,11 +5795,11 @@ static Int
|
||||||
p_choicepoint_info(void)
|
p_choicepoint_info(void)
|
||||||
{
|
{
|
||||||
choiceptr cptr = (choiceptr)(LCL0-IntegerOfTerm(Deref(ARG1)));
|
choiceptr cptr = (choiceptr)(LCL0-IntegerOfTerm(Deref(ARG1)));
|
||||||
PredEntry *pe;
|
PredEntry *pe = NULL;
|
||||||
int go_on = TRUE;
|
int go_on = TRUE;
|
||||||
yamop *ipc = cptr->cp_ap;
|
yamop *ipc = cptr->cp_ap;
|
||||||
yamop *ncl = NULL;
|
yamop *ncl = NULL;
|
||||||
Term t, taddr;
|
Term t = TermNil, taddr;
|
||||||
|
|
||||||
taddr = MkIntegerTerm((Int)cptr);
|
taddr = MkIntegerTerm((Int)cptr);
|
||||||
while (go_on) {
|
while (go_on) {
|
||||||
|
|
|
@ -3690,7 +3690,7 @@ index_sz(LogUpdIndex *x)
|
||||||
if (x->ClFlags & DirtyMask)
|
if (x->ClFlags & DirtyMask)
|
||||||
fprintf(stderr,"Dirty -- %p(%p)\n",ap,x);
|
fprintf(stderr,"Dirty -- %p(%p)\n",ap,x);
|
||||||
if (count > 200)
|
if (count > 200)
|
||||||
fprintf(stderr,"%uld/%uld/%uld -- %p(%p)\n",(unsigned long int)count,(unsigned long int)count0,(unsigned long int)dead,ap,x);
|
fprintf(stderr,"%lu/%lu/%lu -- %p(%p)\n",(unsigned long int)count,(unsigned long int)count0,(unsigned long int)dead,ap,x);
|
||||||
}
|
}
|
||||||
x = x->ChildIndex;
|
x = x->ChildIndex;
|
||||||
while (x != NULL) {
|
while (x != NULL) {
|
||||||
|
|
|
@ -189,7 +189,7 @@ all(T,G,S) :-
|
||||||
% $$set does its best to preserve space
|
% $$set does its best to preserve space
|
||||||
'$$set'(S,R) :-
|
'$$set'(S,R) :-
|
||||||
'$$build'(S0,_,R),
|
'$$build'(S0,_,R),
|
||||||
% S0 = [_|_],
|
S0 = [_|_],
|
||||||
S = S0.
|
S = S0.
|
||||||
|
|
||||||
'$$build'(Ns,S0,R) :- '$db_dequeue'(R,X), !,
|
'$$build'(Ns,S0,R) :- '$db_dequeue'(R,X), !,
|
||||||
|
|
Reference in New Issue