tmp/tmpb2bwouv7/{from.md → to.md}
RENAMED
|
@@ -112,11 +112,11 @@ shared ownership semantics.
|
|
| 112 |
|
| 113 |
The class `shared_timed_mutex` meets all of the shared timed mutex
|
| 114 |
requirements [[thread.sharedtimedmutex.requirements]]. It is a
|
| 115 |
standard-layout class [[class.prop]].
|
| 116 |
|
| 117 |
-
The behavior of a program is undefined if
|
| 118 |
|
| 119 |
- it destroys a `shared_timed_mutex` object owned by any thread,
|
| 120 |
- a thread attempts to recursively gain any ownership of a
|
| 121 |
`shared_timed_mutex`, or
|
| 122 |
- a thread terminates while possessing any ownership of a
|
|
|
|
| 112 |
|
| 113 |
The class `shared_timed_mutex` meets all of the shared timed mutex
|
| 114 |
requirements [[thread.sharedtimedmutex.requirements]]. It is a
|
| 115 |
standard-layout class [[class.prop]].
|
| 116 |
|
| 117 |
+
The behavior of a program is undefined if
|
| 118 |
|
| 119 |
- it destroys a `shared_timed_mutex` object owned by any thread,
|
| 120 |
- a thread attempts to recursively gain any ownership of a
|
| 121 |
`shared_timed_mutex`, or
|
| 122 |
- a thread terminates while possessing any ownership of a
|