P1494R5

Partial program correctness

Hagenberg, Feb 2025C++26Language

Introduces std::observable_checkpoint() and partial program correctness: side effects before a checkpoint survive later undefined behaviour.

Read P1494R5 on wg21.link →All revisions of P1494

Other papers in Erroneous behaviour & observable checkpoints

P2795R5Erroneous behaviour for uninitialized readsTokyo 2024P3641R0Rename std::observable to std::observable_checkpoint, and add a feature-test macroSofia 2025P3684R1Fix erroneous behaviour termination semantics for C++26Kona 2025All 4 papers in Erroneous behaviour & observable checkpoints →