No bounds checking for dynamic arrays at compile time?

[Andrei Alexandrescu]

On 12/14/12 3:40 AM, Walter Bright wrote:
> On 12/13/2012 11:34 PM, Jacob Carlborg wrote:
>> On 2012-12-13 22:26, Walter Bright wrote:
>>
>>> CTFE would catch it.
>>
>> Didn't you just say that flow analysis is needed for that?
>>
>
> CTFE executes at compile time, no flow analysis is needed for that. DFA
> is something very different - it "executes" all paths simultaneously.

And then there's a other technique called "abstract execution" which is 
in between them!

Andrei