[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <4F8C7151.3070808@micron.com>
Date: Mon, 16 Apr 2012 12:21:53 -0700
From: Asai Thambi S P <asamymuthupa@...ron.com>
To: Dan Carpenter <dan.carpenter@...cle.com>
CC: Jens Axboe <axboe@...nel.dk>, <linux-kernel@...r.kernel.org>
Subject: Re: mtip32xx: Add new bitwise flag 'dd_flag'
On 4/16/2012 4:12 AM, Dan Carpenter wrote:
> Hello Asai Thambi S P,
>
> The patch 45038367c271: "mtip32xx: Add new bitwise flag 'dd_flag'"
> from Apr 9, 2012, leads to the following Smatch warning:
> drivers/block/mtip32xx/mtip32xx.c:2516 mtip_hw_get_scatterlist()
> warn: inconsistent returns sem:&dd->port->cmd_slot: locked (2514,2516) unlocked ()
>
> @@ -2193,6 +2245,10 @@ static struct scatterlist *mtip_hw_get_scatterlist(struct driver_data *dd,
> down(&dd->port->cmd_slot);
> *tag = get_slot(dd->port);
>
> + if (unlikely(test_bit(MTIP_DD_FLAG_REMOVE_PENDING_BIT, &dd->dd_flag))) {
> + up(&dd->port->cmd_slot);
> ^^^^^^^^^^^^^^^^^^^^^^^
> We release the lock here.
>
> + return NULL;
> + }
> if (unlikely(*tag < 0))
> return NULL;
> ^^^^^^^^^^^^
> Should we release it here as well?
>
Thanks for finding this. I should start using smatch :). I will send out the
patch.
--
Regards,
Asai Thambi
--
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/
Powered by blists - more mailing lists