On Wed, Mar 29, Greg Smith wrote: > So it is clear between .A and .B -> value of b was read then written. If > anything happens between .A and .B to ->b, then it is lost. Even gcc4.1 does it that way with -O0.