> +#ifdef BYTE_CODE_SAFE
> + /* Hash tables for switch are declared with :size set to exact
> + number of cases, so this should always be true. */
> + eassert (HASH_TABLE_SIZE (h) == h->count);
> +#endif
This equality is not needed for safety, only for performance.
IOW you can drop the assert altogether and turn it into a comment.