So given
a[i] = i++;we don't know which cell of a[] gets written to, but i does get incremented by one.
No. Once an expression or program becomes undefined, all aspects of it become undefined. See questions 3.2, 3.3, 11.33, and 11.35.
Read sequentially: prev next up top
This page by Steve Summit // Copyright 1995 // mail feedback