statement:
labeled-statement
attribute-specifier-seq${}_{opt}$ expression-statement
attribute-specifier-seq${}_{opt}$ compound-statement
attribute-specifier-seq${}_{opt}$ selection-statement
attribute-specifier-seq${}_{opt}$ iteration-statement
attribute-specifier-seq${}_{opt}$ expansion-statement
attribute-specifier-seq${}_{opt}$ jump-statement
attribute-specifier-seq${}_{opt}$ assertion-statement
declaration-statement
attribute-specifier-seq${}_{opt}$ try-block

init-statement:
expression-statement
simple-declaration
alias-declaration

condition:
expression
condition-declaration

condition-declaration:
attribute-specifier-seq${}_{opt}$ decl-specifier-seq declarator brace-or-equal-initializer
structured-binding-declaration initializer

for-range-declaration:
attribute-specifier-seq${}_{opt}$ decl-specifier-seq declarator
structured-binding-declaration

for-range-initializer:
expr-or-braced-init-list

label:
attribute-specifier-seq${}_{opt}$ identifier :
attribute-specifier-seq${}_{opt}$ case constant-expression :
attribute-specifier-seq${}_{opt}$ default :

labeled-statement:
label statement

expression-statement:
expression${}_{opt}$ ;

compound-statement:
{ statement-seq${}_{opt}$ label-seq${}_{opt}$ }

statement-seq:
statement statement-seq${}_{opt}$

label-seq:
label label-seq${}_{opt}$

selection-statement:
if constexpr${}_{opt}$ ( init-statement${}_{opt}$ condition ) statement
if constexpr${}_{opt}$ ( init-statement${}_{opt}$ condition ) statement else statement
if !${}_{opt}$ consteval compound-statement
if !${}_{opt}$ consteval compound-statement else statement
switch ( init-statement${}_{opt}$ condition ) statement

iteration-statement:
while ( condition ) statement
do statement while ( expression ) ;
for ( init-statement condition${}_{opt}$ ; expression${}_{opt}$ ) statement
for ( init-statement${}_{opt}$ for-range-declaration : for-range-initializer ) statement

expansion-statement:
template for ( init-statement${}_{opt}$ for-range-declaration : expansion-initializer ) compound-statement

expansion-initializer:
expression
expansion-init-list

expansion-init-list:
{ expression-list ,${}_{opt}$ }
{ }

jump-statement:
break ;
continue ;
return expr-or-braced-init-list${}_{opt}$ ;
coroutine-return-statement
goto identifier ;

coroutine-return-statement:
co_return expr-or-braced-init-list${}_{opt}$ ;

assertion-statement:
contract_assert attribute-specifier-seq${}_{opt}$ ( conditional-expression ) ;

declaration-statement:
block-declaration