[m-rev.] [reuse] diff: bug fix for MR_check_cell_cache

[Peter Ross]

Hi,


===================================================================


Estimated hours taken: 0.1
Branches: reuse

runtime/mercury_memory.c:
    Place NULL in the cache after looking up the cache entry.


Index: mercury_memory.c
===================================================================
RCS file: /home/mercury1/repository/mercury/runtime/mercury_memory.c,v
retrieving revision 1.19.4.6
diff -u -r1.19.4.6 mercury_memory.c
--- mercury_memory.c	2001/03/21 14:30:14	1.19.4.6
+++ mercury_memory.c	2001/03/23 14:33:27
@@ -416,6 +416,7 @@
 	} else {
 		int ind = MR_cell_cache_index[size];
 		cell = MR_cell_cache[size][ind];
+		MR_cell_cache[size][ind] = NULL;
 
 		if (ind == 0) {
 			MR_cell_cache_index[size] = MR_CACHE_ENTRIES - 1;

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------