Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[thread.condition.condvarany]/9 is incorrect #1755

Closed
timsong-cpp opened this issue Sep 25, 2017 · 1 comment
Closed

[thread.condition.condvarany]/9 is incorrect #1755

timsong-cpp opened this issue Sep 25, 2017 · 1 comment
Assignees
@jensmaurer

Comments

@timsong-cpp
Copy link
Contributor

timsong-cpp commented Sep 25, 2017 •
edited by jensmaurer

[ Note: If any of the wait functions exits via an exception, it is unspecified whether the Lock is held. One can use a Lock type that allows to query that, such as the unique_­lock wrapper. — end note ]

This is not correct after LWG 2135 specified that terminate() is called if the function fails to meet the postcondition (the lock is held by the calling thread).
@jensmaurer
Copy link
Member

Let's remove that note, then.

@jensmaurer jensmaurer self-assigned this Oct 6, 2017
jensmaurer added a commit to jensmaurer/draft that referenced this issue Oct 6, 2017
@jensmaurer
[thread.condition.condvarany] Remove note made incorrect by LWG 2135.
f4ca343 
Fixes cplusplus#1755.
@jensmaurer jensmaurer mentioned this issue Oct 6, 2017
Merged
zygoloid pushed a commit that referenced this issue Oct 15, 2017
@jensmaurer @zygoloid
[thread.condition.condvarany] Remove note made incorrect by LWG 2135.
d6a3234 
Fixes #1755.
AaronBallman pushed a commit to AaronBallman/draft that referenced this issue Nov 15, 2017
@jensmaurer
[thread.condition.condvarany] Remove note made incorrect by LWG 2135.
c490e7e 
Fixes cplusplus#1755.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jensmaurer jensmaurer

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@timsong-cpp @jensmaurer