P2414R9 — Pointer lifetime-end zap proposed solutions
Paul E. McKenney, Maged Michael, Jens Maurer, Peter Sewell, Martin Uecker, Hans Boehm, Hubert Tong, Niall Douglas, Thomas Rodgers, Will Deacon, Michael Wong, David Goldblatt, Kostya Serebryany, Anthony Williams, Tom Scogland, JF Bastien
EWGLEWG
Revisions R12Jul 2026R11Jul 2026R9Jul 2025R8Jul 2025
**Introduction** **3** **Terminology** **4** **What We Are Asking For** **5** **Detailed Proposal** **5** Atomic Operations Forgive Pointer Invalidity 5 Volatile Accesses Forgive Pointer Invalidity 6 **Examples** **6** LIFO Push With Nondeterministic Pointer Provenance 7 Use Case 1: Invalid Pointer Use 7 Use Case 2: Zombie Pointer Dereference 7 Fixing LIFO Push Using This Proposal 8 **Wording** **9** Atomic Operations And Prospective Pointers 9 # [atomics.types.pointer] 9 atomic_ref and Prospective Pointers 10 # [atomics.ref.pointer] 10 Volatile Operations And Prospective Pointers 10 # [conv.lval] 10 # [expr.ass] 10 **History** **11** **Appendix: Relationship to WG14 N2676** **14** **Appendix: Relation to WG21 P2434R4** **14**