Skip to content

[intro.races] Drop a possibly misleading sentence in p20#6396

Closed
frederick-vs-ja wants to merge 1 commit into
cplusplus:mainfrom
frederick-vs-ja:unhelpful-happens-before
Closed

[intro.races] Drop a possibly misleading sentence in p20#6396
frederick-vs-ja wants to merge 1 commit into
cplusplus:mainfrom
frederick-vs-ja:unhelpful-happens-before

Conversation

@frederick-vs-ja

@frederick-vs-ja frederick-vs-ja commented Jul 22, 2023

Copy link
Copy Markdown
Contributor

The sentence being removed doesn't seem very helpful, and is possibly misleading.

Fixes cplusplus/CWG#369.

@frederick-vs-ja frederick-vs-ja force-pushed the unhelpful-happens-before branch from 931345c to 294ea88 Compare October 17, 2025 08:37
@tkoeppe tkoeppe requested a review from jensmaurer November 5, 2025 02:24
@jensmaurer

Copy link
Copy Markdown
Member

In general, the notes in [intro.races] were carefully crafted by SG1. This particular one highlights a circular reading of the text, and goes on to explain that circularity away. The sentence is not wrong, "depends on" does not mean "implies".
And "does not happen before" certainly satisfies "depends on".

@jensmaurer jensmaurer closed this Nov 5, 2025
@frederick-vs-ja frederick-vs-ja deleted the unhelpful-happens-before branch November 6, 2025 03:04
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.

[intro.races] p20 What the value is observed does not imply they would have a "happens before" relationship

2 participants