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
* lib/di-set.c: Include stdint.h.
(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.
* modules/di-set (Depends-on): Add stdint.
---
ChangeLog | 7 +++
lib/di-set.c | 3 ++-
