linux-kernel - RE: Thermal: Update binding logic based on platform data

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [<thread-prev] [day] [month] [year] [list]

Date:	Thu, 27 Sep 2012 06:13:16 +0000
From:	"R, Durgadoss" <durgadoss.r@...el.com>
To:	Dan Carpenter <dan.carpenter@...cle.com>
CC:	"Zhang, Rui" <rui.zhang@...el.com>,
	"linux-kernel@...r.kernel.org" <linux-kernel@...r.kernel.org>
Subject: RE: Thermal: Update binding logic based on platform data

Hi,

> -----Original Message-----
> From: Dan Carpenter [mailto:dan.carpenter@...cle.com]
> Sent: Wednesday, September 26, 2012 10:51 PM
> To: R, Durgadoss
> Cc: Zhang, Rui; linux-kernel@...r.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.carpenter@...cle.com]
> > > Sent: Wednesday, September 26, 2012 1:58 AM
> > > To: R, Durgadoss
> > > Cc: Zhang, Rui; linux-kernel@...r.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 majordomo@...r.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/