[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 1/2] di-set: port better to CHERI-64
From: |
Bruno Haible |
Subject: |
Re: [PATCH 1/2] di-set: port better to CHERI-64 |
Date: |
Sat, 11 Nov 2023 09:57:22 +0100 |
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