Skip to content

[2026-06 LWG Motion 13] P3692R4 How to Avoid OOTA Without Really Trying#9111

Merged
tkoeppe merged 1 commit into
cplusplus:mainfrom
eisenwave:motions-2026-06-lwg-13
Jul 15, 2026
Merged

[2026-06 LWG Motion 13] P3692R4 How to Avoid OOTA Without Really Trying#9111
tkoeppe merged 1 commit into
cplusplus:mainfrom
eisenwave:motions-2026-06-lwg-13

Conversation

@eisenwave

Copy link
Copy Markdown
Member

Fixes #9100
Also fixes cplusplus/papers#2322


I feel like we could prettify the first note (in a subsequent PR) a bit by factoring out the

An implementation that ... does not produce out-of-thin-air values for a program free of undefined behavior

This could be done in a follow-up PR that turns this into

An implementation does not produce out-of-thin-air values for a program free of undefined behavior if

  • ..., or
  • ...

where the two bullets are the two sentences that we have now.

@eisenwave eisenwave added this to the post-2026-06 milestone Jun 14, 2026
@tkoeppe tkoeppe force-pushed the motions-2026-06-lwg-13 branch from 4f483a5 to 55e8f42 Compare July 15, 2026 14:45
@tkoeppe

tkoeppe commented Jul 15, 2026

Copy link
Copy Markdown
Contributor

Rule 1 of WG21: Only Core gets to touch SG-1 notes :-)

@tkoeppe tkoeppe merged commit 4163393 into cplusplus:main Jul 15, 2026
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[2026-06 LWG Motion 13] P3692R4 (How to Avoid OOTA Without Really Trying) P3692 R4 How to Avoid OOTA Without Really Trying

2 participants