tmp/tmpdfd8vh7a/{from.md → to.md}
RENAMED
|
@@ -1,19 +1,18 @@
|
|
| 1 |
### Fallthrough attribute <a id="dcl.attr.fallthrough">[[dcl.attr.fallthrough]]</a>
|
| 2 |
|
| 3 |
The *attribute-token* `fallthrough` may be applied to a null statement
|
| 4 |
-
[[stmt.expr]]; such a statement is a fallthrough statement.
|
| 5 |
-
*attribute-
|
| 6 |
-
|
| 7 |
-
|
| 8 |
-
|
| 9 |
-
|
| 10 |
-
is
|
| 11 |
-
the
|
| 12 |
-
|
| 13 |
-
|
| 14 |
-
ill-formed if there is no such statement.
|
| 15 |
|
| 16 |
*Recommended practice:* The use of a fallthrough statement should
|
| 17 |
suppress a warning that an implementation might otherwise issue for a
|
| 18 |
case or default label that is reachable from another case or default
|
| 19 |
label along some path of execution. Implementations should issue a
|
|
|
|
| 1 |
### Fallthrough attribute <a id="dcl.attr.fallthrough">[[dcl.attr.fallthrough]]</a>
|
| 2 |
|
| 3 |
The *attribute-token* `fallthrough` may be applied to a null statement
|
| 4 |
+
[[stmt.expr]]; such a statement is a fallthrough statement. No
|
| 5 |
+
*attribute-argument-clause* shall be present. A fallthrough statement
|
| 6 |
+
may only appear within an enclosing `switch` statement [[stmt.switch]].
|
| 7 |
+
The next statement that would be executed after a fallthrough statement
|
| 8 |
+
shall be a labeled statement whose label is a case label or default
|
| 9 |
+
label for the same `switch` statement and, if the fallthrough statement
|
| 10 |
+
is contained in an iteration statement, the next statement shall be part
|
| 11 |
+
of the same execution of the substatement of the innermost enclosing
|
| 12 |
+
iteration statement. The program is ill-formed if there is no such
|
| 13 |
+
statement.
|
|
|
|
| 14 |
|
| 15 |
*Recommended practice:* The use of a fallthrough statement should
|
| 16 |
suppress a warning that an implementation might otherwise issue for a
|
| 17 |
case or default label that is reachable from another case or default
|
| 18 |
label along some path of execution. Implementations should issue a
|