Guillermo Ishi wrote: . . . I was talking about the effect, not some analogy for the internals. The effect of i++ most definitely does not happen. . . .
What you wrote is at best confusing to those who are not experienced.
Although you can show that
frame(S) ≡
frame(T)
and
S ⋄ E ≡ T ⋄ E
where
S =
n = n++;
and
T =
skipₙ
Henry's program demonstrates that the effect of n++ does occur and can be seen.