This is the mail archive of the
mailing list for the GCC project.
Re: Optimization of conditional access to globals: thread-unsafe?
On Mon, 29 Oct 2007, Tomash Brechko wrote:
> Still, I believe the example proves the general idea. It shows that
> speculative store is never safe, because every 'if' may be an 'if not
It is safe if there's another dominating store outside the control region.
Apart from that I reluctantly agree (i.e. it's not enough if there's any
dominating access through the pointer in question, it must be a store).