tmp/tmpam660vfd/{from.md → to.md}
RENAMED
|
@@ -16,12 +16,12 @@ If a function `f` is called where `f` was previously declared with the
|
|
| 16 |
undefined.
|
| 17 |
|
| 18 |
[*Note 1*: The function may terminate by throwing an
|
| 19 |
exception. — *end note*]
|
| 20 |
|
| 21 |
-
|
| 22 |
-
function marked `[[noreturn]]` might return.
|
| 23 |
|
| 24 |
[*Example 1*:
|
| 25 |
|
| 26 |
``` cpp
|
| 27 |
[[ noreturn ]] void f() {
|
|
|
|
| 16 |
undefined.
|
| 17 |
|
| 18 |
[*Note 1*: The function may terminate by throwing an
|
| 19 |
exception. — *end note*]
|
| 20 |
|
| 21 |
+
*Recommended practice:* Implementations should issue a warning if a
|
| 22 |
+
function marked `[[noreturn]]` might return.
|
| 23 |
|
| 24 |
[*Example 1*:
|
| 25 |
|
| 26 |
``` cpp
|
| 27 |
[[ noreturn ]] void f() {
|