xfs
[Top] [All Lists]

Re: 'fbno' possibly used uninitialized in xfs_alloc_ag_vextent_small()

To: "Nathan Scott" <nathans@xxxxxxx>
Subject: Re: 'fbno' possibly used uninitialized in xfs_alloc_ag_vextent_small()
From: "Jesper Juhl" <jesper.juhl@xxxxxxxxx>
Date: Thu, 17 Aug 2006 10:47:07 +0200
Cc: linux-kernel@xxxxxxxxxxxxxxx, xfs-masters@xxxxxxxxxxx, xfs@xxxxxxxxxxx
Domainkey-signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=O4DcHuARUY0tsLtHVKYXiT2bp5g7nLNNoc14xUA+3vRJW9234R0uca54cXyuRl72d6Qg9hq/324kZjAnbMjy2KosmJif23gx0FhKQnGDISduOYTyxvzAy21yP5qrkGU7hWMO16IRHqIv79pMUwEyfgKvvuGY1jD2Os7vTZxl4e4=
In-reply-to: <20060817084111.A2787212@xxxxxxxxxxxxxxxxxxxxxxxx>
References: <200608162327.34420.jesper.juhl@xxxxxxxxx> <20060817084111.A2787212@xxxxxxxxxxxxxxxxxxxxxxxx>
Sender: xfs-bounce@xxxxxxxxxxx
On 17/08/06, Nathan Scott <nathans@xxxxxxx> wrote:
Hi Jesper,

On Wed, Aug 16, 2006 at 11:27:34PM +0200, Jesper Juhl wrote:
> (Please keep me on Cc since I'm not subscribed to the XFS lists)
>
> The coverity checker found what looks to me like a valid case of
> potentially uninitialized variable use (see below).

It looks invalid, but its not, once again.  To understand why this
isn't a problem requires looking at the xfs_alloc_ag_vextent_small
call sites (there's only two).  If (*flen==0) is passed back out,
then the value in *fbno is discarded, always.

> So basically, if we hit the 'else' branch, then 'fbno' has not been
> initialized and line 1490 will then use that uninitialized variable.
>
> What would prevent that from happening at some time??

Nothing.  But its not a problem in practice.  However, that final
else branch is very much unlikely, so theres no real cost to just
initialising the local fbno to NULLAGBLOCK in that branch, and we
future proof ourselves a bit that way I guess (in case the callers
ever change - pretty unlikely, but we may as well).  How does the
patch below look to you?

Looks good to me.

--
Jesper Juhl <jesper.juhl@xxxxxxxxx>
Don't top-post  http://www.catb.org/~esr/jargon/html/T/top-post.html
Plain text mails only, please      http://www.expita.com/nomime.html


<Prev in Thread] Current Thread [Next in Thread>
  • Re: 'fbno' possibly used uninitialized in xfs_alloc_ag_vextent_small(), Jesper Juhl <=