Re: [PATCH linux-next] jbd: start_this_handle(): remove kfree() redundant null check

[Jan Kara <jack@suse.cz>]

On Tue 12-02-13 11:23:24, Tim Gardner wrote:
> smatch analysis:
> 
> fs/jbd/transaction.c:236 start_this_handle() info: redundant null
>  check on new_transaction calling kfree()
> 
> Cc: Andrew Morton <akpm@linux-foundation.org>
> Cc: Jan Kara <jack@suse.cz>
> Cc: linux-ext4@vger.kernel.org
> Signed-off-by: Tim Gardner <tim.gardner@canonical.com>
> ---
>  fs/jbd/transaction.c |    3 +--
>  1 file changed, 1 insertion(+), 2 deletions(-)
> 
> diff --git a/fs/jbd/transaction.c b/fs/jbd/transaction.c
> index 071d690..ee40b4e 100644
> --- a/fs/jbd/transaction.c
> +++ b/fs/jbd/transaction.c
> @@ -232,8 +232,7 @@ repeat_locked:
>  
>  	lock_map_acquire(&handle->h_lockdep_map);
>  out:
> -	if (unlikely(new_transaction))		/* It's usually NULL */
> -		kfree(new_transaction);
> +	kfree(new_transaction);
>  	return ret;
  Thanks for the patch but I actually think this is deliberate because
new_transaction is usually NULL while kfree() is optimized for passed
pointer to be usually != NULL.  Also we save a function call in the common
case. So I'm for the code to stay as is.

								Honza
-- 
Jan Kara <jack@suse.cz>
SUSE Labs, CR