]> Savannah Git Hosting - gnulib.git/commit
stdint: port intptr_t to CHERI
authorPaul Eggert <eggert@cs.ucla.edu>
Tue, 7 Nov 2023 07:53:21 +0000 (23:53 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Tue, 7 Nov 2023 07:59:36 +0000 (23:59 -0800)
commit6e4aa95cc6f165d2d3a30e963f13596e6b09ed90
tree4b06e8e891f0f711864bdeb9d860477b21628e05
parent66fc257c46bdfcb3334f2e049cd4629e6e80aafc
stdint: port intptr_t to CHERI

* lib/stdint.in.h: Do not redefine intptr_t/uintptr_t
if __INTPTR_WIDTH__ says otherwise.  This is needed on CHERI.
ChangeLog
lib/stdint.in.h