On Monday 24 January 2011 07:49:44 Andrej Mitrovic wrote: > On 1/24/11, Steven Schveighoffer <[email protected]> wrote: > > That wasn't done by the compiler anyways. > > > > -Steve > > Yeah I've noticed that. Lazy DMD compiler! :)
Much of anything that requires code flow analysis doesn't tend to happen. And it's so easy to get around it in many cases (such as passing a pointer to a function which then returns that pointer) that it wouldn't ultimately help all that much anyway (though having _some_ is still better than nothing). The fact that such things can't be reliably verified at compile time is exactly why scoped classes are unsafe in the first place. - Jonathan M Davis
