On Mon, Oct 01, 2012 at 07:16:35AM +0400, Dmitry Monakhov wrote: > On Mon, 1 Oct 2012 10:50:47 +0800, Fengguang Wu <fengguang.wu@xxxxxxxxx> wrote: > > Hi Dmitry, > > > > FYI, there are new smatch warnings show up in > > > > tree: git://git.kernel.org/pub/scm/linux/kernel/git/tytso/ext4.git dev > > head: 07043757c1a4018a04aded14deb1f28269a4b2ad > > commit: c6a59106b4106d13dc824a388c5572ddd65a0779 [47/50] ext4: punch_hole should wait for DIO writers > > > > arch/x86/include/asm/jump_label.h:25 arch_static_branch() info: ignoring unreachable code. > > + fs/ext4/extents.c:4949 ext4_ext_punch_hole() warn: inconsistent returns mutex:&inode->i_mutex: locked (4813,4815) unlocked (4806,4949) > Yes, that is correct, my bad. Sorry, patch attached > BTW What tool(compile option) you use to catch this issue? Fengguang is using Dan Carpenter's "smatch" tool. For more information, see: http://www.linuxplumbersconf.org/2011/ocw/sessions/165 - Ted -- To unsubscribe from this list: send the line "unsubscribe linux-ext4" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
