I assumed PP would always be locked at try, but that is not

true if the predicate is thread local.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@990 b08c6af1-5177-4d33-ba66-4b1c6b8b522a

C/absmi.c

@@ -1152,8 +1152,11 @@ Yap_absmi(int inp)
 #endif
 	UNLOCK(cl->ClLock);
 #if defined(YAPOR) || defined(THREADS)
-	READ_UNLOCK(PP->PRWLock);
-	PP = NULL;
+	if (PP) {
+	  /* PP would be NULL for local preds */
+	  READ_UNLOCK(PP->PRWLock);
+	  PP = NULL;
+	}
 #endif
       }
       GONext();

C/tracer.c

@@ -115,6 +115,9 @@ low_level_trace(yap_low_level_port port, PredEntry *pred, CELL *args)
   /*  extern int gc_calls; */
 
   vsc_count++;
+  if (vsc_count == 395950L)
+    vsc_xstop = 1;
+  return;
 #ifdef COMMENTED
   if (port != enter_pred ||
       !pred ||