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. The data pointer situation in C++ can be
improved upon.