No bounds checking for dynamic arrays at compile time?
Paulo Pinto
pjmlp at progtools.org
Fri Dec 14 07:08:09 PST 2012
On Friday, 14 December 2012 at 08:40:59 UTC, 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.
What is the issue with flow analysis and D?
Even on the toy compiler I had to create back in the university
we implemented flow analysis for a few use cases.
So the question is if toy university compilers have flow analysis
why not having it in D?
--
Paulo
More information about the Digitalmars-d
mailing list