git/list[1] front-page[2] threads[3] people[4] search[5] about
 

[PATCH] hash: fix lookup_hash semantics

From
Jeff King <peff@peff.net>
Date
Feb 22, 2008, 19:47 UTC
Message-ID
<20080222194726.GA24532@sigill.intra.peff.net>

We were returning the _address of_ the stored item (or NULL) instead of the item itself. While this sort of indirection is useful for insertion (since you can lookup and then modify), it is unnecessary for read-only lookup. Since the hash code splits these functions between the internal lookup_hash_entry function and the public lookup_hash function, it makes sense for the latter to provide what users of the library expect.

The result of this was that the index caching returned bogus results on lookup. We unfortunately didn't catch this because we were returning a "struct cache_entry **" as a "void *", and accidentally assigning it to a "struct cache_entry *".

As it happens, this actually _worked_ most of the time, because the entries were defined as:

  struct cache_entry {
	  struct cache_entry *next;
	  ...
  };

meaning that interpreting a "struct cache_entry **" as a "struct cache_entry *" would yield an entry where all fields were totally bogus _except_ for the next pointer, which pointed to the actual cache entry. When walking the list, we would look at the bogus "name" field, which was unlikely to match our lookup, and then proceed to the "real" entry.

The reading of bogus data was silently ignored most of the time, but could cause a segfault for some data (which seems to be more common on OS X).

Signed-off-by: Jeff King <peff@peff.net>
---
This can be applied to maint, but there aren't actually any
callers of lookup_hash until Linus' recent patch series, so it really
only makes sense on top of that. Alternatively, his patches could be
altered to dereference the return from lookup_hash, but I think this
calling convention makes more sense (for the reasons I explained above).

This shuts up the valgrind errors I see under Linux; it would be nice to get confirmation from OS X people that this fixes their "git status" segfaults.

 hash.c |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/hash.c b/hash.c
index 7b492d4..d9ec82f 100644
--- a/hash.c
+++ b/hash.c
@@ -70,7 +70,7 @@ void *lookup_hash(unsigned int hash, struct hash_table *table)
 {
 	if (!table->array)
 		return NULL;
-	return &lookup_hash_entry(hash, table)->ptr;
+	return lookup_hash_entry(hash, table)->ptr;
 }
 
 void **insert_hash(unsigned int hash, void *ptr, struct hash_table *table)
-- 
1.5.4.2.262.g044a1.dirty
Next: Linus Torvalds
Message 1 of 4 in “hash: fix lookup_hash semantics”
  1. hash: fix lookup_hash semanticsJeff King, Feb 22, 2008
  2. Linus TorvaldsFeb 22, 2008
  3. Junio C HamanoFeb 22, 2008
  4. Pieter de BieFeb 22, 2008

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.