From: Jessica Clarke <jrtc27@jrtc27.com>
Date: Wed, 05 Jan 2022 16:40:59 GMT
Subject: Re: [PATCH] apply: Avoid ambiguous pointer provenance for CHERI/Arm's Morello
Message-ID: <85A71121-BD74-416B-BDC5-3818C6892F7C@jrtc27.com>
In-Reply-To: <20220105163935.eqfdqbeifcgj2wna@carbon>

On 5 Jan 2022, at 16:39, Konstantin Khomoutov <kostix@bswap.ru> wrote:
> 
> 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.

Indeed I did; spellcheck doesn’t help for wrong words...

Should I send a v2, or can that be fixed on git-am?

Jess