Pointer tagging isnt UB if done right.

Em qua., 29 de jan. de 2025, 12:29, Frederick Virchanza Gotham via
Std-Proposals <std-proposals_at_[hidden]> escreveu:

> 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.
> --
> Std-Proposals mailing list
> Std-Proposals_at_[hidden]
> https://lists.isocpp.org/mailman/listinfo.cgi/std-proposals
>