[ub,intro.progress] Added entry for UB due to lack of forward progress by timuraudio · Pull Request #8335 · cplusplus/draft · GitHub
Skip to content

[ub,intro.progress] Added entry for UB due to lack of forward progress#8335

Merged
jensmaurer merged 2 commits intocplusplus:ub-ifndrfrom
timuraudio:ub-ifndr
Nov 17, 2025
Merged

[ub,intro.progress] Added entry for UB due to lack of forward progress#8335
jensmaurer merged 2 commits intocplusplus:ub-ifndrfrom
timuraudio:ub-ifndr

Conversation

@timuraudio
Copy link
Copy Markdown

Added \ubdef{intro.progress.stops} to [intro.progress]. Added matching entry with code example to [ub]. Note: the wording in [ub] already matches the new wording proposed in CWG2816. When the resolution in CWG2816 is applied to [intro.progress], make sure to not lose the \ubdef there.

Comment thread source/ub.tex
@jensmaurer
Copy link
Copy Markdown
Member

@eisenwave eisenwave added the ub-ifndr UB and IFNDR Annex label Nov 6, 2025
@tkoeppe tkoeppe requested a review from jensmaurer November 10, 2025 01:38
@jensmaurer jensmaurer merged commit e77b944 into cplusplus:ub-ifndr Nov 17, 2025
2 checks passed
notadragon pushed a commit to notadragon/cplusplus_draft that referenced this pull request Apr 16, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ub-ifndr UB and IFNDR Annex

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants