On Sun, Nov 23, 2014 at 02:24:32PM +0100, SF Markus Elfring wrote: > > Program analysis tools can also potentially exploit this information, > > The published semantic patch scripts correspond to this desire. > Sorry for that. I have deleted the Smatch check for this so it no longer warns about: if (foo) kfree(foo); regards, dan carpenter -- To unsubscribe from this list: send the line "unsubscribe kernel-janitors" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html