Undefined behaviours in D and C

[Don]

bearophile wrote:
> Walter Bright:
> 
>> D doesn't have this problem because D doesn't have the restrict qualifier.<
> 
> So the D2 specs have to explicitly state that all D pointers can be an alias of each other (and this will make D code slower than Fortran77 code).

Array operations address the same as issue as restrict, but are much 
easier for the compiler. (They don't completely overlap in 
functionality, but the most important cases are covered by both).
AFAIK 'restrict' hasn't been a terribly successful feature in the C world.