Paul Eggert wrote: > (hashint): Make it uintptr_t, not size_t, since it’s for use > when converting to pointer and back again. This suppresses > a false positive on CHERI-64.
Nice! I looked into this one just yesterday, but did not know how to deal with it. Bruno
