Friendly-C

[via Digitalmars-d]

On Friday, 29 August 2014 at 17:46:31 UTC, Ola Fosheim Grøstad 
wrote:
> 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.