Commit c960f2b78634b1fd9338024d8a36d4ba84461a83
2023-11-10T23:04:35
di-set: port better to CHERI-64 * 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.