public inbox for linux-kernel@vger.kernel.org
 help / color / mirror / Atom feed
* re: w1: Fix w1_bq27000
@ 2012-02-18 20:51 Dan Carpenter
  2012-02-19  1:48 ` NeilBrown
  0 siblings, 1 reply; 2+ messages in thread
From: Dan Carpenter @ 2012-02-18 20:51 UTC (permalink / raw)
  To: neilb; +Cc: linux-kernel

Hello NeilBrown,

This is a semi-automatic email about new static checker warnings.

The patch 9f3519d2ed26: "w1: Fix w1_bq27000" from Feb 15, 2012, leads 
to the following Smatch complaint:

drivers/w1/slaves/w1_bq27000.c:48 w1_bq27000_read()
	 warn: variable dereferenced before check 'dev' (see line 46)

drivers/w1/slaves/w1_bq27000.c
    45		u8 val;
    46		struct w1_slave *sl = container_of(dev->parent, struct w1_slave, dev);
                                                   ^^^^^^^^^^^
New dereference.

    47	
    48		if (!dev)
                     ^^^
Old check.

    49			return 0;
    50	

regards,
dan carpenter


^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: w1: Fix w1_bq27000
  2012-02-18 20:51 w1: Fix w1_bq27000 Dan Carpenter
@ 2012-02-19  1:48 ` NeilBrown
  0 siblings, 0 replies; 2+ messages in thread
From: NeilBrown @ 2012-02-19  1:48 UTC (permalink / raw)
  To: Dan Carpenter; +Cc: linux-kernel

[-- Attachment #1: Type: text/plain, Size: 1122 bytes --]

On Sat, 18 Feb 2012 23:51:25 +0300 Dan Carpenter <dan.carpenter@oracle.com>
wrote:

> Hello NeilBrown,
> 
> This is a semi-automatic email about new static checker warnings.
> 
> The patch 9f3519d2ed26: "w1: Fix w1_bq27000" from Feb 15, 2012, leads 
> to the following Smatch complaint:
> 
> drivers/w1/slaves/w1_bq27000.c:48 w1_bq27000_read()
> 	 warn: variable dereferenced before check 'dev' (see line 46)
> 
> drivers/w1/slaves/w1_bq27000.c
>     45		u8 val;
>     46		struct w1_slave *sl = container_of(dev->parent, struct w1_slave, dev);
>                                                    ^^^^^^^^^^^
> New dereference.
> 
>     47	
>     48		if (!dev)
>                      ^^^
> Old check.
> 
>     49			return 0;
>     50	
> 
> regards,
> dan carpenter

Thanks..
I suspect we should just remove the
   if (!dev)
       return

I should probably get rid of w1_bq27000_write as it is totally unused, and I
need to hold a lock in w1_bq27000_read or I can get really bad things
happening if two threads try to rad the status at the same time.

Ho hum.

Thanks,
NeilBrown

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 828 bytes --]

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2012-02-19  1:48 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2012-02-18 20:51 w1: Fix w1_bq27000 Dan Carpenter
2012-02-19  1:48 ` NeilBrown

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox