<div class="gmail_quote">On Mon, Mar 19, 2012 at 4:46 PM, Eli Friedman <span dir="ltr"><<a href="mailto:eli.friedman@gmail.com">eli.friedman@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div id=":6ke">Given that, I'm not sure I really see the issue with just<br>
special-casing any store where the value stored is a pointer to a<br>
global... but it could be argued either way, I guess.</div></blockquote></div><br><div>I users expect this to "just work", why not extend the language and make it just work?</div><div><br></div><div>We could, as an implementation, decide to emit these as relaxed atomic stores, making the code well defined without changing the semantics (or optimization) in any meaningful way, right?</div>