[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-Id: <1382702005-32245-1-git-send-email-yefremov.denis@gmail.com>
Date: Fri, 25 Oct 2013 15:53:25 +0400
From: Denis Efremov <yefremov.denis@...il.com>
To: Dave Chinner <david@...morbit.com>
Cc: Denis Efremov <yefremov.denis@...il.com>, Ben Myers <bpm@....com>,
Alex Elder <elder@...nel.org>, xfs@....sgi.com,
linux-kernel@...r.kernel.org, ldv-project@...uxtesting.org
Subject: [PATCH v2] xfs:xfs_dir2_node.c: pointer use before check for null
ASSERT on args takes place after args dereference.
This assertion is redundant since we are going to panic anyway.
Found by Linux Driver Verification project (linuxtesting.org) -
PVS-Studio analyzer.
Signed-off-by: Denis Efremov <yefremov.denis@...il.com>
---
fs/xfs/xfs_dir2_node.c | 1 -
1 file changed, 1 deletion(-)
diff --git a/fs/xfs/xfs_dir2_node.c b/fs/xfs/xfs_dir2_node.c
index 4c3dba7..dc814df 100644
--- a/fs/xfs/xfs_dir2_node.c
+++ b/fs/xfs/xfs_dir2_node.c
@@ -1366,7 +1366,6 @@ xfs_dir2_leafn_split(
*/
args = state->args;
mp = args->dp->i_mount;
- ASSERT(args != NULL);
ASSERT(oldblk->magic == XFS_DIR2_LEAFN_MAGIC);
error = xfs_da_grow_inode(args, &blkno);
if (error) {
--
1.8.3.1
--
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