Inherent code performance advantages of D over C?

[Araq]

On Sunday, 8 December 2013 at 11:17:15 UTC, bearophile wrote:
> Araq:
>
>> Interestingly, things that are encouraged in Ada (this is an 
>> array of integers of range 0..30, see value range propagation) 
>> are much harder to recompute with whole program optimization 
>> and D lacks them.
>
> I am currently thinking about related topics. What do you mean? 
> I don't understand.
>
> Bye,
> bearophile

Well that "int[]" is in fact really an "array of int of range 
0..30" is a property of a type; pureness or what a function 
modifies is a property of a function. Properties of types are 
inherently more difficult to infer than properties of functions.