Pointers are not the same shape as sizes on CHERI architectures. Cast
to void * and print with %p instead.
Obtained from: CheriBSD
Differential D47342
locks: Use %p to print uintptr_t values jhb on Oct 30 2024, 6:23 PM. Authored by Tags None Referenced Files
Details
Pointers are not the same shape as sizes on CHERI architectures. Cast Obtained from: CheriBSD
Diff Detail
Event Timeline |