Erroneous behaviour & observable checkpoints
Uninitialized reads become erroneous rather than undefined; termination semantics; partial program correctness and observable_checkpoint.
Connected features
Papers
4 · Tokyo 2024 → Kona 2025Introduces erroneous behaviour: reading an uninitialized automatic variable yields a defined-but-wrong value and may be diagnosed; [[indeterminate]] opts out.
Introduces std::observable_checkpoint() and partial program correctness: side effects before a checkpoint survive later undefined behaviour.
Renames std::observable to std::observable_checkpoint and adds a feature-test macro.
Fixes the termination semantics when erroneous behaviour is diagnosed.