Pointer provenance & lifetime-end zap
Nondeterministic provenance, invalid pointer operations, and the lifetime-end pointer zap resolution.
Connected features
Papers
3 · Brno 2026Resolves pointer lifetime-end zap: pointers whose pointee's lifetime ended keep usable values in the ways lock-free code needs (DR).
Specifies pointer provenance: which pointer operations may nondeterministically alias, giving a model for optimizers (DR).
Defines which operations on invalid pointers are undefined, erroneous or well-defined (DR).