Date: Tue, 21 Jul 2020 12:19:05 -0700
On Tuesday, 21 July 2020 09:37:08 PDT Jason McKesson via Std-Proposals wrote:
> > There is an object of the proper type at the address. The problem is we
> > can't get to the address without UB in the first place because the
> > pointer arithmetic is undefined.
>
> But P1839 solves that problem. And this post was written under the
> rules governed by P1839.
That was not the consensus of the discussions so far.
P1839 may need a stronger wording to make it explicit that pointer arithmetic
on the char-sized backing buffer is well-defined.
> > There is an object of the proper type at the address. The problem is we
> > can't get to the address without UB in the first place because the
> > pointer arithmetic is undefined.
>
> But P1839 solves that problem. And this post was written under the
> rules governed by P1839.
That was not the consensus of the discussions so far.
P1839 may need a stronger wording to make it explicit that pointer arithmetic
on the char-sized backing buffer is well-defined.
-- Thiago Macieira - thiago (AT) macieira.info - thiago (AT) kde.org Software Architect - Intel DPG Cloud Engineering
Received on 2020-07-21 14:22:27