[stmt.select.general]

{o p t (init-statement {o p t condition) statement if constexpr {o p t (init-statement {o p t condition) statement else statement if!}_{o p t condition) statement else statement if!}}_{o p t (init-statement {o p t condition) statement else statement if!}_{o p t condition) statement else statement if!}}}_{o p t condition) statement if constexpr {o p t (init-statement {o p t condition) statement else statement if!}_{o p t condition) statement else statement if!}}_{o p t (init-statement {o p t condition) statement else statement if!}_{o p t condition) statement else statement if!}}}}_{o p t (init-statement {o p t condition) statement if constexpr {o p t (init-statement {o p t condition) statement else statement if!}_{o p t condition) statement else statement if!}}_{o p t (init-statement {o p t condition) statement else statement if!}_{o p t condition) statement else statement if!}}}_{o p t condition) statement if constexpr {o p t (init-statement {o p t condition) statement else statement if!}_{o p t condition) statement else statement if!}}_{o p t (init-statement {o p t condition) statement else statement if!}_{o p t condition) statement else statement if!}}}}

See [dcl.meaning] for the optional attribute-specifier-seq in a condition.

[Note 1:

An init-statement ends with a semicolon.

— end note]

[Note 2:

— end note]