bug-gnulib
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] Update portability doc for CHERI, C23


From: Paul Eggert
Subject: Re: [PATCH] Update portability doc for CHERI, C23
Date: Fri, 1 Dec 2023 22:31:00 -0800
User-agent: Mozilla Thunderbird

On 2023-12-01 22:12, Bruno Haible wrote:
Which integer types on CHERI have "holes"?

intptr_t and uintptr_t, since they consume 128 bits of storage but have only 64 bits of integer value payload. Because of the holes, for example, intprops.h's TYPE_MAXIMUM doesn't work on CHERI-BSD for those two types. (I think I could work around this particular bug but it's likely not worth the effort as people should just use INTPTR_MAX and UINTPTR_MAX instead.)

Arguably the 129th bit of each intptr_t/uintptr_t is also a "hole". However, this extra bit doesn't cause a problem with intprops.h etc. as far as I can see.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]