tmp/tmpfngdt0pe/{from.md → to.md}
RENAMED
|
@@ -1,9 +1,9 @@
|
|
| 1 |
### Pointer optimization barrier <a id="ptr.launder">[[ptr.launder]]</a>
|
| 2 |
|
| 3 |
``` cpp
|
| 4 |
-
template<class T>
|
| 5 |
```
|
| 6 |
|
| 7 |
*Mandates:* `!is_function_v<T> && !is_void_v<T>` is `true`.
|
| 8 |
|
| 9 |
*Preconditions:* `p` represents the address *A* of a byte in memory. An
|
|
|
|
| 1 |
### Pointer optimization barrier <a id="ptr.launder">[[ptr.launder]]</a>
|
| 2 |
|
| 3 |
``` cpp
|
| 4 |
+
template<class T> constexpr T* launder(T* p) noexcept;
|
| 5 |
```
|
| 6 |
|
| 7 |
*Mandates:* `!is_function_v<T> && !is_void_v<T>` is `true`.
|
| 8 |
|
| 9 |
*Preconditions:* `p` represents the address *A* of a byte in memory. An
|