tmp/tmp9h6e4hpf/{from.md → to.md}
RENAMED
|
@@ -31,12 +31,10 @@ memory_resource* set_default_resource(memory_resource* r) noexcept;
|
|
| 31 |
|
| 32 |
*Effects:* If `r` is non-null, sets the value of the default memory
|
| 33 |
resource pointer to `r`, otherwise sets the default memory resource
|
| 34 |
pointer to `new_delete_resource()`.
|
| 35 |
|
| 36 |
-
*Postconditions:* `get_default_resource() == r`.
|
| 37 |
-
|
| 38 |
*Returns:* The previous value of the default memory resource pointer.
|
| 39 |
|
| 40 |
*Remarks:* Calling the `set_default_resource` and `get_default_resource`
|
| 41 |
functions shall not incur a data race. A call to the
|
| 42 |
`set_default_resource` function shall synchronize with subsequent calls
|
|
|
|
| 31 |
|
| 32 |
*Effects:* If `r` is non-null, sets the value of the default memory
|
| 33 |
resource pointer to `r`, otherwise sets the default memory resource
|
| 34 |
pointer to `new_delete_resource()`.
|
| 35 |
|
|
|
|
|
|
|
| 36 |
*Returns:* The previous value of the default memory resource pointer.
|
| 37 |
|
| 38 |
*Remarks:* Calling the `set_default_resource` and `get_default_resource`
|
| 39 |
functions shall not incur a data race. A call to the
|
| 40 |
`set_default_resource` function shall synchronize with subsequent calls
|