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: <20230514152739.962109-1-masahiroy@kernel.org> <20230514152739.962109-7-masahiroy@kernel.org>
 <CAKwvOdkQex2H4iDLE-D=4_vFebhB86aya6zPEB8rhaQy-HwspQ@mail.gmail.com>
In-Reply-To: <CAKwvOdkQex2H4iDLE-D=4_vFebhB86aya6zPEB8rhaQy-HwspQ@mail.gmail.com>
From:   Masahiro Yamada <masahiroy@kernel.org>
Date:   Sat, 20 May 2023 22:19:49 +0900
Message-ID: <CAK7LNAToX+G_9wkmSziU-YZeg9wc2mOGwD-1R-Txrinba4c8RQ@mail.gmail.com>
Subject: Re: [PATCH v5 06/21] modpost: clean up is_executable_section()
To:     Nick Desaulniers <ndesaulniers@google.com>
Cc:     linux-kbuild@vger.kernel.org, linux-kernel@vger.kernel.org,
        Nathan Chancellor <nathan@kernel.org>,
        Nicolas Pitre <npitre@baylibre.com>,
        Nicolas Schier <nicolas@fjasle.eu>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Precedence: bulk

On Thu, May 18, 2023 at 6:10=E2=80=AFAM Nick Desaulniers
<ndesaulniers@google.com> wrote:
>
> On Sun, May 14, 2023 at 8:28=E2=80=AFAM Masahiro Yamada <masahiroy@kernel=
.org> wrote:
> >
> > SHF_EXECINSTR is a bit flag (#define SHF_EXECINSTR 0x4).
> > Compare the masked flag to '!=3D 0'.
> >
> > There is no good reason to stop modpost immediately even if a special
> > section index is given. You will get a section mismatch error anyway.
> >
> > Also, change the return type to bool.
> >
> > Signed-off-by: Masahiro Yamada <masahiroy@kernel.org>
>
> Moving the definition and renaming the parameter seems very
> unnecessary, but whatever. Thanks for the patch!


Moving the definition _is_ necessary.

See the next patch, which moves the call-site of
is_executable_section().

The definition must come before the caller.


The current code exceeds 80-cols per line.

I renamed the parameters so that the lines
fit within 80-cols without wrapping.


> Reviewed-by: Nick Desaulniers <ndesaulniers@google.com>
>
> > ---
> >
> >  scripts/mod/modpost.c | 16 ++++++++--------
> >  1 file changed, 8 insertions(+), 8 deletions(-)
> >
> > diff --git a/scripts/mod/modpost.c b/scripts/mod/modpost.c
> > index bb7d1d87bae7..0bda2f22c985 100644
> > --- a/scripts/mod/modpost.c
> > +++ b/scripts/mod/modpost.c
> > @@ -1207,6 +1207,14 @@ static Elf_Sym *find_elf_symbol2(struct elf_info=
 *elf, Elf_Addr addr,
> >         return near;
> >  }
> >
> > +static bool is_executable_section(struct elf_info *elf, unsigned int s=
ecndx)
> > +{
> > +       if (secndx > elf->num_sections)
> > +               return false;
> > +
> > +       return (elf->sechdrs[secndx].sh_flags & SHF_EXECINSTR) !=3D 0;
> > +}
> > +
> >  static void default_mismatch_handler(const char *modname, struct elf_i=
nfo *elf,
> >                                      const struct sectioncheck* const m=
ismatch,
> >                                      Elf_Rela *r, Elf_Sym *sym, const c=
har *fromsec)
> > @@ -1252,14 +1260,6 @@ static void default_mismatch_handler(const char =
*modname, struct elf_info *elf,
> >         }
> >  }
> >
> > -static int is_executable_section(struct elf_info* elf, unsigned int se=
ction_index)
> > -{
> > -       if (section_index > elf->num_sections)
> > -               fatal("section_index is outside elf->num_sections!\n");
> > -
> > -       return ((elf->sechdrs[section_index].sh_flags & SHF_EXECINSTR) =
=3D=3D SHF_EXECINSTR);
> > -}
> > -
> >  static void extable_mismatch_handler(const char* modname, struct elf_i=
nfo *elf,
> >                                      const struct sectioncheck* const m=
ismatch,
> >                                      Elf_Rela* r, Elf_Sym* sym,
> > --
> > 2.39.2
> >
>
>
> --
> Thanks,
> ~Nick Desaulniers


--=20
Best Regards
Masahiro Yamada