P2318 A Provenance-aware Memory Object Model for C

sg22-c-cpp-standard-compatibility / sg-compatibility

A joint Study Group between the C (WG14) and C++ (WG21) Committees to ensure the longterm synchronization and cooperation of the C and C++ programming languages where any mutual interests lie.

1 stars 0 forks source link

P2318 A Provenance-aware Memory Object Model for C #12

Closed NinaRanns closed 11 months ago

NinaRanns commented 12 months ago

Issue tracking the SG22 discussion of P2318R0 A Provenance-aware Memory Object Model for C (Jens Gustedt, Peter Sewell, Kayvan Memarian, Victor B. F. Gomes, Martin Uecker)

wg21 issue

ThePhD commented 11 months ago

This is an advisory paper that does not actually propose anything for WG21 to do with; WG21 should read the proposal and if they like the underlying model being developed express interest so it can be taken forward into WG21 as well. Until that time, there's nothing for us to do here.

NinaRanns commented 6 months ago

See P2434 Nondeterministic pointer provenance #35 for minutes of discussion.