gh-127563: use dk_log2_index_bytes=3 in empty dicts (GH-127568)

picnixz · web-flow · commit 9af96f440618 · 2024-12-10T16:58:17.000+01:00
This fixes a UBSan failure (unaligned zero-size memcpy) in `dictobject.c`.
diff --git a/Objects/dictobject.c b/Objects/dictobject.c
@@ -588,11 +588,14 @@ estimate_log2_keysize(Py_ssize_t n)
 
 /* This immutable, empty PyDictKeysObject is used for PyDict_Clear()
  * (which cannot fail and thus can do no allocation).
+ *
+ * See https://github.com/python/cpython/pull/127568#discussion_r1868070614
+ * for the rationale of using dk_log2_index_bytes=3 instead of 0.
  */
 static PyDictKeysObject empty_keys_struct = {
         _Py_DICT_IMMORTAL_INITIAL_REFCNT, /* dk_refcnt */
         0, /* dk_log2_size */
-        0, /* dk_log2_index_bytes */
+        3, /* dk_log2_index_bytes */
         DICT_KEYS_UNICODE, /* dk_kind */
 #ifdef Py_GIL_DISABLED
         {0}, /* dk_mutex */
