Explicitly document and justify uintmax_t not being able to store uintptr_t
brooksdavis opened this issue · 0 comments
brooksdavis commented
In CHERI C/C++ uintmax_t is generally a uint64_t and can not store a uintptr_t. This is surprising--even offensive--to some developers. This behavior is allowed by the C standard, but requires careful reading. We should explain our justifications.