user923005 wrote:
> On Jan 30, 1:01 am, r...@hoekstra-uitgeverij.nl (Richard Bos) wrote:
<snip>
> P.S.
> I almost always set freed pointers to null myself (the exception being
> in C++ because it is pointless to set a deleted class member pointer
> to null in a destructor.)
> It s with a very small class of problems (but does have one bad
> side effect -- double frees are less likely to be detected)
But they won't harm (i.e. possibly crash the program) anymore either.

Bye, Jojo