Ian Lance Taylor <[EMAIL PROTECTED]> writes: > > What do people think of this patch? This seems to fix the problem > case without breaking Michael's case. It basically avoids store > speculation: we don't write to a MEM unless the function > unconditionally writes to the MEM anyhow.
I'm not sure "function" is a good area to check here. It might well be that a function has parts where it is ok to change memory (because a lock is hold) and another part where this is not true. But your check would mix them both togeter. Basic block (or rather super block without function calls or memory barriers) would be better. -Andi
