Re: [PATCH] coccinelle: adjust NULL check before free()