On Friday, 29 August 2014 at 17:34:42 UTC, deadalnix wrote:No, as the load or the store involved can fault/trap.What kind of trap? Not getting an exception will not necessarily change correctness.
It does. An access that can potentially fault is more or less equivalent to this:
if(p is null)
throw new Error();
*p = ...;
When you remove the access, you're removing the test, which
changes program semantics.
