P2434 R4 Nondeterministic pointer provenance

[jfbastien]

P2434R0 Nondeterministic pointer provenance (S. Davis Herring)

[erichkeane]

EWG supports:

-users verifying that this model meets their needs, particularly for pointer zap
-authors work with SG22 and WG14 to align C and C++ solutions
-implementation experience be obtained
-usage experience be obtained

then we want to see the paper again

SF	F	N	A	SA
10	8	1	0	0

Result: Consensus

[sebastian-wittmeier-bl-ext]

link to P2434R0 is broken

[jwakely]

The link looks fine, the paper just hasn't yet been published where the wg21 link bot can find it.

[jfbastien]

Related: #895 #553 #1084 #1011

[opensdh]

@NinaRanns: Should this issue get an update from the SG22 discussion?

[NinaRanns]

probably :)
SG22 had a meeting to discuss the issue. WG14 felt the wording presented in P2434 doesn't solve the problem from WG14 perspective. The room didn't find a common way forward. Notes from the meeting can be found here

[wg21bot]

P2434R1 Nondeterministic pointer provenance (S. Davis Herring)