------- Comment #9 from gccbug at dworkin dot nl  2010-03-20 23:14 -------
Subject: Re:  gcc -O code generation error

> No, we have a | b.  There is an order inside a and b but no order between a 
> and
> b. 

That's depressing.  C99 says in 5.1.2.3:

    Evaluation of an expression may produce side effects. At certain
    specified points in the execution sequence called sequence points,
    all side effects of previous evaluations shall be complete and no
    side effects of subsequent evaluations shall have taken place.

I had taken this to mean a full ordering, not a partial one.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43456

Reply via email to