------- Comment #8 from pinskia at gcc dot gnu dot org 2010-03-20 21:54 ------- (In reply to comment #7) > Subject: Re: gcc -O code generation error > > To clarify even further, we have > > (..., (f->sp++)->u.number [SEQUENCE POINT] ? 1 : 0) | > (..., (f->sp++)->u.number [SEQUENCE POINT] ? 4 : 0) > > So the modifications of f->sp are before the sequence point. If > gcc -W -Wall warns about this part of the expression, that warning is > wrong, as well.
No, we have a | b. There is an order inside a and b but no order between a and b. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43456