[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