Subject: Re: [std-proposals] P1839 and the object representation of subobjects
From: Thiago Macieira (thiago_at_[hidden])
Date: 2020-07-21 14:19:05
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.
-- Thiago Macieira - thiago (AT) macieira.info - thiago (AT) kde.org Software Architect - Intel DPG Cloud Engineering
STD-PROPOSALS list run by herb.sutter at gmail.com
Standard Proposals Archives on Google Groups