I added the smatch@xxxxxxxxxxxxxxx list to the CC. On Sat, Nov 22, 2014 at 02:19:04PM +0100, Wolfram Sang wrote: > Hi Dan, > > on my 64-bit debian machine, I use smatch (version from git as of > yesterday) to check my accepted patches for i2c. However, since the last > update, I get lots of false positives about locking: > > drivers/i2c/busses/i2c-omap.c:1116 omap_i2c_probe() warn: '0' 0 can't fit into 9223372036854775807 'dev->lock' > I have written a fix for this. I'll test it and push tomorrow. > and sometimes "double unlock" which is also not true. > > Can you reproduce this for the above driver? I can't reproduce this one with that driver. I have been meaning to re-write this check for a while. Can you send me another double unlock warning message? 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
