From ea6594491c7244fb45d7f6b2bd1a4218a9c21d0c Mon Sep 17 00:00:00 2001
From: vsc <vsc@b08c6af1-5177-4d33-ba66-4b1c6b8b522a>
Date: Wed, 22 Feb 2006 11:55:36 +0000
Subject: [PATCH] indexing code would get confused about size of float/1,
 db_reference1.

git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1549 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
---
 C/index.c        | 11 ++++++++---
 changes-5.1.html |  4 ++++
 2 files changed, 12 insertions(+), 3 deletions(-)

diff --git a/C/index.c b/C/index.c
index 4da380f06..75fb79fad 100644
--- a/C/index.c
+++ b/C/index.c
@@ -11,8 +11,11 @@
 * File:		index.c							 *
 * comments:	Indexing a Prolog predicate				 *
 *									 *
-* Last rev:     $Date: 2006-02-19 02:55:46 $,$Author: vsc $						 *
+* Last rev:     $Date: 2006-02-22 11:55:36 $,$Author: vsc $						 *
 * $Log: not supported by cvs2svn $
+* Revision 1.152  2006/02/19 02:55:46  vsc
+* disable indexing on bigints
+*
 * Revision 1.151  2006/01/16 02:57:51  vsc
 * fix bug with very large integers
 * fix bug where indexing code was looking at code after a cut.
@@ -2649,8 +2652,8 @@ move_next(ClauseDef *clause, UInt regno)
   switch (op) {
   case _p_db_ref_x:
   case _p_float_x:
-    if (wreg == cl->u.x.x) {
-      clause->CurrentCode = NEXTOP(cl,x);
+    if (wreg == cl->u.xF.x) {
+      clause->CurrentCode = NEXTOP(cl,xF);
     }	
     return;
   case _get_list:
@@ -3026,6 +3029,8 @@ valid_instructions(yamop *end, yamop *cl)
     switch (op) {
     case _p_db_ref_x:
     case _p_float_x:
+      cl = NEXTOP(cl,xF);
+      break;
     case _get_list:
       cl = NEXTOP(cl,x);
       break;
diff --git a/changes-5.1.html b/changes-5.1.html
index ee78215c9..cf9d6b116 100644
--- a/changes-5.1.html
+++ b/changes-5.1.html
@@ -16,6 +16,10 @@
 
 <h2>Yap-5.1.0:</h2>
 <ul>
+<li> FIXED: indexing code would get confused about size of inlined
+float/1 (Paulo Moura).</li>
+<li> FIXED: broken SIGINT with tkyap (Keri Harris).</li>
+<li> FIXED: indexing of bignums was broken, just disable it for now.</li>
 <li> FIXED: pipe open was returning the same descriptor twice (Christian Thaeter).</li>
 <li> FIXED: style check should compare with true file name.</li>
 <li> FIXED: ^c should take care about TR and B.</li>