]> git.ipfire.org Git - thirdparty/gnulib.git/commit
projects / thirdparty / gnulib.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 96b7ae2) | patch
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
tree3f12f53621173942baf965c54835d3a8fb2153a9tree | snapshot
parent96b7ae248368db70dba27ee12f36f7b810a46af0commit | diff
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 diff | blob | blame | history
lib/di-set.c diff | blob | blame | history
modules/di-set diff | blob | blame | history
Mirror of https://git.savannah.gnu.org/git/gnulib.git