Memory safe in D

[Richard (Rikki) Andrew Cattermole]

On 19/03/2024 11:46 AM, Walter Bright wrote:
> Some easy cases can be handled easily(!). But to do it reliably, DFA is 
> required. And DFA makes the front end slow.
> 
> If one doesn't do DFA, then I will be subjected to endless bug reports 
> where people find a case that needs DFA to resolve.

If anyone wants evidence of this, look no further than @live.

https://issues.dlang.org/show_bug.cgi?id=21923

https://issues.dlang.org/show_bug.cgi?id=21854

A memory analysis technique that requires DFA, but doesn't as it wasn't 
fully thought out and too specific to it.

We need semantic 4 to solve this properly: see my recent post on type 
state analysis in DIP ideas forum.