[stmt.pre] (original) (raw)

The value of a condition that is an initialized declaration in a statement other than a switch statement is the value of the declared variablecontextually converted to bool.

If that conversion is ill-formed, the program is ill-formed.

The value of acondition that is an initialized declaration in aswitch statement is the value of the declared variable if it has integral or enumeration type, or of that variable implicitly converted to integral or enumeration type otherwise.

The value of acondition that is an expression is the value of the expression, contextually converted to boolfor statements other than switch; if that conversion is ill-formed, the program is ill-formed.

The value of the condition will be referred to as simply “the condition” where the usage is unambiguous.