tmp/tmpu41uxwg6/{from.md → to.md}
RENAMED
|
@@ -120,11 +120,11 @@ ownership semantics.
|
|
| 120 |
|
| 121 |
The class `shared_mutex` meets all of the shared mutex requirements
|
| 122 |
[[thread.sharedmutex.requirements]]. It is a standard-layout class
|
| 123 |
[[class.prop]].
|
| 124 |
|
| 125 |
-
The behavior of a program is undefined if
|
| 126 |
|
| 127 |
- it destroys a `shared_mutex` object owned by any thread,
|
| 128 |
- a thread attempts to recursively gain any ownership of a
|
| 129 |
`shared_mutex`, or
|
| 130 |
- a thread terminates while possessing any ownership of a
|
|
|
|
| 120 |
|
| 121 |
The class `shared_mutex` meets all of the shared mutex requirements
|
| 122 |
[[thread.sharedmutex.requirements]]. It is a standard-layout class
|
| 123 |
[[class.prop]].
|
| 124 |
|
| 125 |
+
The behavior of a program is undefined if
|
| 126 |
|
| 127 |
- it destroys a `shared_mutex` object owned by any thread,
|
| 128 |
- a thread attempts to recursively gain any ownership of a
|
| 129 |
`shared_mutex`, or
|
| 130 |
- a thread terminates while possessing any ownership of a
|