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
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
