Well, pedantically gcc-4.7 behavior is this:
u32 *ptr = push->cur; *ptr = func(); push->cur++;
But since func only reads push->cur it's the same.
Well, pedantically gcc-4.7 behavior is this:
u32 *ptr = push->cur;
*ptr = func();
push->cur++;
But since func only reads push->cur it's the same.