From 3ddc4cef3abfa6f8db4a447248de2e54d5eae967 Mon Sep 17 00:00:00 2001 From: vsc Date: Thu, 25 Jan 2007 22:11:55 +0000 Subject: [PATCH] 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 --- C/cdmgr.c | 9 ++++++--- C/dbase.c | 2 +- pl/setof.yap | 2 +- 3 files changed, 8 insertions(+), 5 deletions(-) diff --git a/C/cdmgr.c b/C/cdmgr.c index 826a1e1d8..355cf9c2a 100644 --- a/C/cdmgr.c +++ b/C/cdmgr.c @@ -11,8 +11,11 @@ * File: cdmgr.c * * 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 $ +* Revision 1.203 2007/01/24 10:01:38 vsc +* fix matrix mess +* * Revision 1.202 2006/12/27 01:32:37 vsc * diverse fixes * @@ -5792,11 +5795,11 @@ static Int p_choicepoint_info(void) { choiceptr cptr = (choiceptr)(LCL0-IntegerOfTerm(Deref(ARG1))); - PredEntry *pe; + PredEntry *pe = NULL; int go_on = TRUE; yamop *ipc = cptr->cp_ap; yamop *ncl = NULL; - Term t, taddr; + Term t = TermNil, taddr; taddr = MkIntegerTerm((Int)cptr); while (go_on) { diff --git a/C/dbase.c b/C/dbase.c index 83d6c6916..cc2334580 100644 --- a/C/dbase.c +++ b/C/dbase.c @@ -3690,7 +3690,7 @@ index_sz(LogUpdIndex *x) if (x->ClFlags & DirtyMask) fprintf(stderr,"Dirty -- %p(%p)\n",ap,x); 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; while (x != NULL) { diff --git a/pl/setof.yap b/pl/setof.yap index cd63a2e8f..a876c3dfd 100644 --- a/pl/setof.yap +++ b/pl/setof.yap @@ -189,7 +189,7 @@ all(T,G,S) :- % $$set does its best to preserve space '$$set'(S,R) :- '$$build'(S0,_,R), -% S0 = [_|_], + S0 = [_|_], S = S0. '$$build'(Ns,S0,R) :- '$db_dequeue'(R,X), !,