Hi, > -----Original Message----- > From: Dan Carpenter [mailto:dan.carpen...@oracle.com] > Sent: Wednesday, September 26, 2012 10:51 PM > To: R, Durgadoss > Cc: Zhang, Rui; linux-kernel@vger.kernel.org > Subject: Re: Thermal: Update binding logic based on platform data > > On Wed, Sep 26, 2012 at 02:39:22PM +0000, R, Durgadoss wrote: > > Hi, > > > > > -----Original Message----- > > > From: Dan Carpenter [mailto:dan.carpen...@oracle.com] > > > Sent: Wednesday, September 26, 2012 1:58 AM > > > To: R, Durgadoss > > > Cc: Zhang, Rui; linux-kernel@vger.kernel.org > > > Subject: re: Thermal: Update binding logic based on platform data > > > > > > Hello Durgadoss R, > > > > > > This is a semi-automatic email about new static checker warnings. > > > > > > The patch 9b70dfa68ae8: "Thermal: Update binding logic based on > > > platform data" from Sep 18, 2012, leads to the following Smatch > > > complaint: > > > > looking into this. Will submit appropriate fix patches soon. > > > > Is there a way for me to check/verify these kind of warnings from > > my side ? This way, I can do the check before I submit each patch. > > > > Sure: > > git clone git://repo.or.cz/smatch.git > cd smatch > make > (no make install needed) > cd /to/kernel/src/ > ~/path/to/smatch/smatch_scripts/kchecker drivers/thermal/thermal_sys.c
Thanks Dan, That worked great, and I just submitted a patch fixing all the warnings from smatch. I will ensure that I run this before I submit patches, going forward. Thanks for a nice tool :-) Thanks, Durga -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/