Powered by Linux
Re: false positive 'double unlock'? — Semantic Matching Tool

Re: false positive 'double unlock'?

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



On Tue, Nov 13, 2012 at 10:47:56AM +0100, Wolfram Sang wrote:
> Hi,
> 
> current smatch gives me this with the current linux-git:
> 
> drivers/i2c/busses/i2c-rcar.c:560 rcar_i2c_master_xfer() error: double unlock 'spin_lock:&priv->lock'
> 
> Unless I am totally overlooking something, looks like a false positive
> to me? In any case, would it be possible to print the lines of the two
> unlocks happening?

What is your .config file?

regards,
dan carpenter

--
To unsubscribe from this list: send the line "unsubscribe smatch" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html


[Index of Archives]     [Linux USB Devel]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]     [Big List of Linux Books]

  Powered by Linux