On Tue, Mar 31, 2015 at 07:03:15PM +0300, Dan Carpenter wrote:
On Tue, Mar 31, 2015 at 06:16:46PM +0300, Dan Carpenter wrote:
I added a check for this in Smatch and I sent that warning already.
It's a bit duplicative, sorry.
I have done a little more research into the differences
On Tue, Mar 31, 2015 at 06:08:20PM +0200, Julia Lawall wrote:
Everyone has gone through the Coccinelle warnings and fixed the real
bugs and left the false positives caused by bad indenting.
There are few things which Smatch catches which Coccinelle misses. Here
is the list of those from
I added a check for this in Smatch and I sent that warning already.
It's a bit duplicative, sorry.
regards,
dan carpenter
On Tue, Mar 31, 2015 at 11:07:21PM +0800, kbuild test robot wrote:
TO: Aravind Gopalakrishnan aravind.gopalakrish...@amd.com
CC: Borislav Petkov b...@suse.de
tree: