<div dir="ltr">free(NULL) is already a nop.<div><br></div><div>(Based on Dag's remark during a review on some other code)</div><div><br><div><div><div class="gmail_signature"><div dir="ltr"><div>-- <br></div>Guillaume Quintard<br></div></div></div>
</div></div></div>