C++ Logo


Advanced search

Re: [wg14/wg21 liaison] SG22 pointer provenance discussion

From: Martin Uecker <ma.uecker_at_[hidden]>
Date: Thu, 01 Feb 2024 20:06:46 +0100
Am Donnerstag, dem 01.02.2024 um 18:19 +0000 schrieb Herring, Davis via Liaison:
> > The purpose of this meeting is to better understand how
> > P2318<https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p2318r1.pdf>
> > and
> > P2434<https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p2434r0.html>
> > relate to each other and whether there is a common solution that is
> > suitable for both languages.
> The further reading I mentioned is David Goldblatt's "There might not be an elegant OOTA fix" <https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1916r0.pdf>, which I almost found in
> time to name it because I was actually looking at Hans Boehm's follow-on ""Undefined behavior" and the concurrency memory model"
> <https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2020/p2215r1.pdf>.

The conclusion of this paper is that we need a more restricted notion
of UB:

"David Goldblatt correctly points out that we have assumed that UB behavior
is associated with some specific program evaluation, so that we know where
implicit stores might be introduced. We believe that is unavoidable, and
we need to ensure that the standard consistently specifies this."


Received on 2024-02-01 19:07:00