tmp/tmp8mx8evu_/{from.md → to.md}
RENAMED
|
@@ -19,10 +19,10 @@ A C++ program can get a pointer to the current handler function by
|
|
| 19 |
calling the following functions:
|
| 20 |
|
| 21 |
- `get_new_handler`
|
| 22 |
- `get_terminate`
|
| 23 |
|
| 24 |
-
Calling the `set_*` and `get_*` functions shall not incur a data race
|
| 25 |
-
call to any of the `set_*` functions
|
| 26 |
-
calls to the same `set_*` function and to the
|
| 27 |
-
function.
|
| 28 |
|
|
|
|
| 19 |
calling the following functions:
|
| 20 |
|
| 21 |
- `get_new_handler`
|
| 22 |
- `get_terminate`
|
| 23 |
|
| 24 |
+
Calling the `set_*` and `get_*` functions shall not incur a data race
|
| 25 |
+
[[intro.races]]. A call to any of the `set_*` functions synchronizes
|
| 26 |
+
with subsequent calls to the same `set_*` function and to the
|
| 27 |
+
corresponding `get_*` function.
|
| 28 |
|