Question for ISO C standards gurus

[law@redhat.com]

Given something like this:


execfuncdef(Estate state, int do_exec)
{
    Shfunc shf;
    char *s;
    int signum, nprg, sbeg, nstrs, npats, len, plen, i, htok = 0;
    Wordcode beg = state->pc, end;
    Eprog prog;
    Patprog *pp;
    LinkList names;
    end = beg + ((state->pc[-1]) >> 5);
    if (!(names = ecgetlist(state, *state->pc++, 2, &htok))) {
      state->pc = end;
      return 0;
    }
}


Does the ISO standard say anything about when the side effect of incrementing
state->pc takes effect?  Or is it implementation dependent?  Of particular
interest is whether or not the increment occurs before the call or after
the call.

jeff