[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <20131025150609.GB10553@sgi.com>
Date: Fri, 25 Oct 2013 10:06:09 -0500
From: Ben Myers <bpm@....com>
To: Denis Efremov <yefremov.denis@...il.com>
Cc: Dave Chinner <david@...morbit.com>, Alex Elder <elder@...nel.org>,
xfs@....sgi.com, linux-kernel@...r.kernel.org,
ldv-project@...uxtesting.org
Subject: Re: [PATCH v2] xfs:xfs_dir2_node.c: pointer use before check for
null
On Fri, Oct 25, 2013 at 03:53:25PM +0400, Denis Efremov wrote:
> 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>
Looks good.
Reviewed-by: Ben Myers <bpm@....com>
--
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