]> Savannah Git Hosting - gnulib.git/commit
di-set: port better to CHERI-64
authorPaul Eggert <eggert@cs.ucla.edu>
Sat, 11 Nov 2023 07:04:35 +0000 (23:04 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Sat, 11 Nov 2023 08:10:34 +0000 (00:10 -0800)
commitc960f2b78634b1fd9338024d8a36d4ba84461a83
tree3f12f53621173942baf965c54835d3a8fb2153a9
parent96b7ae248368db70dba27ee12f36f7b810a46af0
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.
ChangeLog
lib/di-set.c
modules/di-set