
<HTML><BODY style="word-wrap: break-word; -khtml-nbsp-mode: space; -khtml-line-break: after-white-space; "><BR><DIV><DIV>On 8 juin 07, at 15:26, Andrew Stone wrote:</DIV><BR class="Apple-interchange-newline"><BLOCKQUOTE type="cite"><P style="margin: 0.0px 0.0px 0.0px 0.0px"><FONT face="Helvetica" size="3" style="font: 12.0px Helvetica">So we could have a policy that you set the pointer to NULL *only* if it may be used again.<SPAN class="Apple-converted-space"> </SPAN></FONT></P> </BLOCKQUOTE></DIV><BR><DIV>Well, the policy is more to make sure not to reuse a freed pointer. Sometimes you do that by free()ing and setting to NULL, some other you don't.</DIV><DIV><BR class="khtml-block-placeholder"></DIV><DIV>Pierre.</DIV></BODY></HTML>