null references can be unsafe [was Re: Coverity tool]

2010-02-10 Thread Leandro Lucarella
Walter Bright, el 10 de febrero a las 11:33 me escribiste: > retard wrote: > >Tue, 09 Feb 2010 18:49:31 -0800, Walter Bright wrote: > > > >>D has moved a lot towards supplying by default a lot of what Coverity > >>claims to do. By making such an expensive tool irrelevant for D, we can > >>make D mu

Re: null references can be unsafe [was Re: Coverity tool]

2010-02-10 Thread Walter Bright
Leandro Lucarella wrote: This supposedly "safe" program under Mac OS X 10.6 doesn't give any error neither at compile time nor at runtime, yet it isn't memory-safe at all as it corrupts some part of the memory space. @safe is in its infancy, and I expect there to be some gaps. We'll get them

Re: null references can be unsafe [was Re: Coverity tool]

2010-02-11 Thread Leandro Lucarella
Walter Bright, el 10 de febrero a las 14:28 me escribiste: > Leandro Lucarella wrote: > >This supposedly "safe" program under Mac OS X 10.6 doesn't give any error > >neither at compile time nor at runtime, yet it isn't memory-safe at all as > >it corrupts some part of the memory space. > > @safe i