Re: [PATCH v2] ext3, ext4: do_split() fix loop, with obvious unsignedwrap

[Bill Davidsen]

Andrew Morton wrote:
> On Mon, 01 Dec 2008 14:28:25 -0500 roel kluin <roel.kluin@xxxxxxxxx> wrote:
>
>   
> > Fix loop, with obvious unsigned wrap
> >
> >     
>
> Please raise separate patches for ext3 and ext4 - their paths into the
> tree are different.
>
>   
> > --- a/fs/ext3/namei.c
> > +++ b/fs/ext3/namei.c
> > @@ -1188,7 +1188,7 @@ static struct ext3_dir_entry_2 *do_split(handle_t *handle, struct inode *dir,
> >  	/* Split the existing block in the middle, size-wise */
> >  	size = 0;
> >  	move = 0;
> > -	for (i = count-1; i >= 0; i--) {
> > +	for (i = count; i--; ) {
> >     
>
> So we're replacing an accidental for(;;) with something which can
> really terminate.  This is potentially a functional change, and it's
> perhaps telling us that we should replace it with a real for (;;) loop
> anyway.
>   
It's not a "for (;;)" loop, because the index value does change, but 
clearly in the current implementation the termination condition won't be 
met by any index value. You still need to bail on index value, and the 
index is used in the loop.

--
Bill Davidsen <davidsen@xxxxxxx>
 "Woe unto the statesman who makes war without a reason that will still
 be valid when the war is over..." Otto von Bismark 


--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/