Inherent code performance advantages of D over C?

[Timon Gehr]

On 12/09/2013 02:05 AM, Walter Bright wrote:
> On 12/8/2013 4:47 PM, Timon Gehr wrote:
>> Static analysis will tell you where a pointer might point to (more
>> importantly,
>> it may exclude aliasing) and what values the variable 'i' might have
>> in it. How
>> precise this information is hinges on the details of the analysis and the
>> program it is applied on. I'm just saying that this may be more
>> precise than
>> what 'immutable' qualifiers give you (since those are quite easy to
>> infer, given
>> the program, and alias analysis may be non-trivial.)
>
> There has been a lot of work trying to eliminate array bounds checking
> by figuring out the limits of i. This has met with only limited success.
>
> I know of no C compiler that even attempts such things, and it certainly
> would be done if it was trivial.
>
> "Proper" D code makes routine use of const and immutable, and so that
> information is effortlessly available to even simple optimizers.

Sorry, I'm lost. What point are you arguing? None of this disputes in 
any way anything I wrote.