C++ Logo

std-proposals

Advanced search

Re: [std-proposals] Make all data pointers intercompatible

From: Jens Maurer <jens.maurer_at_[hidden]>
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

Received on 2025-01-29 15:56:00