Skip to content

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

@timsong-cpp

Description

@timsong-cpp

[ 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).

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions