[stmt.expr] p1 There is not only a side effect but also value computation

[stmt.expr] p1

The expression is a discarded-value expression. All side effects from an expression statement are completed before the next statement is executed. An expression statement with the expression missing is called a null statement.

Consider this example

int a = 0;
int main(){ 
   a; // #1
   if(true); // #2  
}

There is no side effect applying to a at #1. Also, the value computation of a(determine the identity of the object) should be completed before the execution of the statement at #2. We only mention the side effect in [stmt.expr] p1. Maybe, we should say that

The evaluation in an expression statement is completed before the next statement is executed.

Start by locating [stmt.expr] paragraph 1 in the draft source and review the surrounding wording on discarded-value expressions and side effects. Compare the proposed use of “evaluation” with the existing standard terminology; done means the text clearly covers both side effects and value computation without changing the intended semantics.