Note (July, 2009):

This issue was resolved by the adoption of the “sequenced before” wording.

Notes from the March 2004 meeting:

Clark Nelson mentions that the C committee may have done something on this.

Lisa Lippincott mentioned this case to me:

  A[0] = 0;
  A[A[0]] = 1;

This seems to use the old value of A[0] other than to calculate the new value, which is said to be undefined, but it also seems reasonable, since the old value is used in order to select the object to modify, so there's no ordering ambiguity.

Steve Adamczyk: the ordering rule referred to is in Clause 7 [expr] paragraph 4.