From 444872f75ae9779d6c51e7b1ccba86bdabd520c2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gerd=20M=C3=B6llmann?= <gerd@gnu.org>
Date: Fri, 7 Jun 2024 20:20:32 +0200
Subject: [PATCH] Check thawed hash table

---
 src/fns.c | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/src/fns.c b/src/fns.c
index ebcce63e0c0..1b44b241c45 100644
--- a/src/fns.c
+++ b/src/fns.c
@@ -5105,6 +5105,18 @@ hash_table_thaw (Lisp_Object hash_table)
 	  set_hash_next_slot (h, i, HASH_INDEX (h, start_of_bucket));
 	  set_hash_index_slot (h, start_of_bucket, i);
 	}
+
+#if defined HAVE_MPS && defined ENABLE_CHECKING
+      if (h->weakness == Weak_None)
+	{
+	  DOHASH_SAFE (h, i)
+	    {
+	      Lisp_Object key = HASH_KEY (h, i);
+	      ptrdiff_t j = hash_lookup (h, key);
+	      eassert (j == i);
+	    }
+	}
+#endif
     }
 }