Annex A (informative) Grammar summary [gram]

A.5 Statements [gram.stmt]

statement:
	labeled-statement
	attribute-specifier-seq $_{o p t}$  expression-statement
	attribute-specifier-seq $_{o p t}$  compound-statement
	attribute-specifier-seq $_{o p t}$  selection-statement
	attribute-specifier-seq $_{o p t}$  iteration-statement
	attribute-specifier-seq $_{o p t}$  jump-statement
	declaration-statement
	attribute-specifier-seq $_{o p t}$  try-block

init-statement:
	expression-statement
	simple-declaration

condition:
	expression
	attribute-specifier-seq $_{o p t}$  decl-specifier-seq declarator brace-or-equal-initializer

labeled-statement:
	attribute-specifier-seq $_{o p t}$  identifier : statement
	attribute-specifier-seq $_{o p t}$  case constant-expression : statement
	attribute-specifier-seq $_{o p t}$  default : statement

expression-statement:
	expression $_{o p t}$  ;

compound-statement:
	{ statement-seq $_{o p t}$  }

statement-seq:
	statement
	statement-seq statement

selection-statement:
	if constexpr $_{o p t}$  ( init-statement $_{o p t}$  condition ) statement
	if constexpr $_{o p t}$  ( init-statement $_{o p t}$  condition ) statement else statement
	switch ( init-statement $_{o p t}$  condition ) statement

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

for-range-declaration:
	attribute-specifier-seq $_{o p t}$  decl-specifier-seq declarator
	attribute-specifier-seq $_{o p t}$  decl-specifier-seq ref-qualifier $_{o p t}$  [ identifier-list ]

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

jump-statement:
	break ;
	continue ;
	return expr-or-braced-init-list $_{o p t}$  ;
	goto identifier ;

declaration-statement:
	block-declaration