tmp/tmpzyjsaxxb/{from.md → to.md}
RENAMED
|
@@ -30,8 +30,9 @@ where *`final-suspend`* is the exposition-only label defined in
|
|
| 30 |
- Otherwise, *S* is the *compound-statement* `{` *expression*ₒₚₜ `;`
|
| 31 |
*p*`.return_void()``; }`. The expression *p*`.return_void()` shall be
|
| 32 |
a prvalue of type `void`.
|
| 33 |
|
| 34 |
If *p*`.return_void()` is a valid expression, flowing off the end of a
|
| 35 |
-
coroutine is equivalent to a `co_return` with no
|
| 36 |
-
flowing off the end of a coroutine
|
|
|
|
| 37 |
|
|
|
|
| 30 |
- Otherwise, *S* is the *compound-statement* `{` *expression*ₒₚₜ `;`
|
| 31 |
*p*`.return_void()``; }`. The expression *p*`.return_void()` shall be
|
| 32 |
a prvalue of type `void`.
|
| 33 |
|
| 34 |
If *p*`.return_void()` is a valid expression, flowing off the end of a
|
| 35 |
+
coroutine’s *function-body* is equivalent to a `co_return` with no
|
| 36 |
+
operand; otherwise flowing off the end of a coroutine’s *function-body*
|
| 37 |
+
results in undefined behavior.
|
| 38 |
|