No bounds checking for dynamic arrays at compile time?

[Walter Bright]

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.