Skip to content

UB reduction & UB/IFNDR annexes

LanguageC++26 C++293 papers3 connections

Trivial infinite loops defined, floating-point overflow clarified, and the new annexes cataloguing undefined behaviour and IFNDR.

Connected features

Erroneous behaviour & observable checkpointsC++26erroneous behaviour replaces UB for uninitialized reads Pointer provenance & lifetime-end zapC++29pointer provenance and lifetime-end zap resolve long-standing UB #embed & preprocessor (C++26/29)C++26'preprocessing is never undefined'

Papers

3 · Tokyo 2024 → Brno 2026

Makes trivial infinite loops (constant condition, empty body) well-defined instead of undefined (DR).

Read P2809R3 on wg21.link →Paper page