On Wed, Jan 05, 2022 at 01:23:10PM +0000, Jessica Clarke wrote: [...] > This means that, currently, the code when run on a CHERI architecture > will preserve the metadata from the integer, i.e. an invalid capability > that will trap on deference, and not the pointer. ^ You have probably meant to use "dereference" here.
