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
