Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20;
MIME-Version: 1.0
References: <20220824055637.10676-1-zhouzhouyi@gmail.com> <8d8bfc81-b584-20f4-65ae-d626f019cdf4@csgroup.eu>
In-Reply-To: <8d8bfc81-b584-20f4-65ae-d626f019cdf4@csgroup.eu>
From:   Zhouyi Zhou <zhouzhouyi@gmail.com>
Date:   Wed, 24 Aug 2022 14:41:08 +0800
Message-ID: <CAABZP2w7jw4OHXPDANNabaD1L1BbUG8ymu9zLGEt5xA8YgZ3ow@mail.gmail.com>
Subject: Re: [PATCH linux-next] mm: fix used but uninitialized variable
To:     Christophe Leroy <christophe.leroy@csgroup.eu>
Cc:     "akpm@linux-foundation.org" <akpm@linux-foundation.org>,
        "nathan@kernel.org" <nathan@kernel.org>,
        "ndesaulniers@google.com" <ndesaulniers@google.com>,
        "trix@redhat.com" <trix@redhat.com>,
        "linux-mm@kvack.org" <linux-mm@kvack.org>,
        "linux-kernel@vger.kernel.org" <linux-kernel@vger.kernel.org>,
        "llvm@lists.linux.dev" <llvm@lists.linux.dev>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Precedence: bulk

Thank Christophe for reviewing my patch

On Wed, Aug 24, 2022 at 2:10 PM Christophe Leroy
<christophe.leroy@csgroup.eu> wrote:
>
>
>
> Le 24/08/2022 =C3=A0 07:56, Zhouyi Zhou a =C3=A9crit :
> > In function walk_hugetlb_range, the local variable err may
> > be used uninitialzed when:
> > ops->pte_hole in side of "else if (ops->pte_hole)" is false.
> >
> > Signed-off-by: Zhouyi Zhou <zhouzhouyi@gmail.com>
> > ---
> > Dear mm Developers:
> >
> > When I build kernel using "make CC=3Dclang-14"
> > the compiler complains following:
> >
> > CC      mm/pagewalk.o
> > mm/pagewalk.c:318:12: error: variable 'err' is used uninitialized whene=
ver 'if' condition is false [-Werror,-Wsometimes-uninitialized]
> >                  else if (ops->pte_hole)
> >                           ^~~~~~~~~~~~~
> > mm/pagewalk.c:321:7: note: uninitialized use occurs here
> >                  if (err)
> >                      ^~~
> > mm/pagewalk.c:318:8: note: remove the 'if' if its condition is always t=
rue
> >                  else if (ops->pte_hole)
> >                       ^~~~~~~~~~~~~~~~~~
> > mm/pagewalk.c:311:10: note: initialize the variable 'err' to silence th=
is warning
> >                  int err;
> >                         ^
> >                          =3D 0
> > 1 error generated.
> > make[1]: *** [scripts/Makefile.build:250: mm/pagewalk.o] Error 1
> > make: *** [Makefile:2006: mm] Error 2
> >
> > I initialize that variable outside of the for loop because we can assig=
n 0 to err
> > only once in this function.
> >
> > After my fix, I can compile the kernel.
> >
> > Many Thanks
> > Zhouyi
> > --
> >   mm/pagewalk.c | 2 +-
> >   1 file changed, 1 insertion(+), 1 deletion(-)
> >
> > diff --git a/mm/pagewalk.c b/mm/pagewalk.c
> > index 54b2a1beeeb3..b6eb330e8ecd 100644
> > --- a/mm/pagewalk.c
> > +++ b/mm/pagewalk.c
> > @@ -306,9 +306,9 @@ static int walk_hugetlb_range(unsigned long addr, u=
nsigned long end,
> >       unsigned long hmask =3D huge_page_mask(h);
> >       unsigned long sz =3D huge_page_size(h);
> >       const struct mm_walk_ops *ops =3D walk->ops;
> > +     int err =3D 0;
>
> Why do you move it back outside of the for loop allthough it is
> exclusively used inside the loop ?
I move it outside of the for loop for performance consideration. Because
if we initialize err inside, there will be an assignment statement
every iteration.
>
> >
> >       for (; addr < end; addr =3D next) {
> > -             int err;
>
> Another solution would be to add an explicit else, setting err =3D 0 in
> the if/else if sequence.
Thank Christophe for your valuable advice, I am going to prepare a 2nd vers=
ion

Thanks
Zhouyi
>
> >               pte_t *pte =3D huge_pte_offset(walk->mm, addr & hmask, sz=
);
> >
> >               next =3D hugetlb_entry_end(h, addr, end);