Date: Wed, 29 Jan 2025 16:55:57 +0100
On 29/01/2025 16.29, Frederick Virchanza Gotham via Std-Proposals wrote:
> On Wed, Jan 29, 2025 at 2:46 PM Tom Honermann wrote:
>>
>> By not over-specifying behaviors and
>> restrictions for things like pointer representation, we reserve
>> implementation freedom for new techniques like (hardware) pointer
>> tagging/coloring, sanitizers, and hybrid architecture approaches like
>> CHERI. Restricting such implementation freedom needs, in my opinion, far
>> more motivation than has been presented so far in this thread.
>
>
> Pointer tagging is UB. So if you don't like my idea of making all data
> pointers the same, then alternatively perhaps pointer tagging should
> be made well-defined.
Here you are: https://wg21.link/p3125r3
Jens
> On Wed, Jan 29, 2025 at 2:46 PM Tom Honermann wrote:
>>
>> By not over-specifying behaviors and
>> restrictions for things like pointer representation, we reserve
>> implementation freedom for new techniques like (hardware) pointer
>> tagging/coloring, sanitizers, and hybrid architecture approaches like
>> CHERI. Restricting such implementation freedom needs, in my opinion, far
>> more motivation than has been presented so far in this thread.
>
>
> Pointer tagging is UB. So if you don't like my idea of making all data
> pointers the same, then alternatively perhaps pointer tagging should
> be made well-defined.
Here you are: https://wg21.link/p3125r3
Jens
Received on 2025-01-29 15:56:00