Inherent code performance advantages of D over C?

[Walter Bright]

On 12/10/2013 1:58 AM, Timon Gehr wrote:
> Recovering all immutable and const qualifiers that are possible to
> assign to the program is simple to do if the whole program is available.

I believe you are seriously mistaken about it being simple, or even possible.

For example, malloc() returns a pointer. How do you know if that returns a 
pointer to immutable data or not? Even if it could look at the source code to 
malloc()?