From: Masahiro Yamada <yamada.masahiro@socionext.com>
To: Linux Kbuild mailing list <linux-kbuild@vger.kernel.org>
Cc: Song Liu <songliubraving@fb.com>,
Michal Marek <michal.lkml@markovi.net>,
bpf@vger.kernel.org, Daniel Borkmann <daniel@iogearbox.net>,
Jani Nikula <jani.nikula@intel.com>,
Networking <netdev@vger.kernel.org>,
Palmer Dabbelt <palmer@sifive.com>,
Alexei Starovoitov <ast@kernel.org>,
Linux Kernel Mailing List <linux-kernel@vger.kernel.org>,
Albert Ou <aou@eecs.berkeley.edu>, Yonghong Song <yhs@fb.com>,
linux-riscv@lists.infradead.org, Sam Ravnborg <sam@ravnborg.org>,
Martin KaFai Lau <kafai@fb.com>
Subject: Re: [PATCH v3 1/4] kbuild: compile-test UAPI headers to ensure they are self-contained
Date: Sun, 30 Jun 2019 10:35:24 +0900 [thread overview]
Message-ID: <CAK7LNAQ4Z0BxqFrNdQDWJqbJBW9bSvnzVkvJTZZ-1mMKD7Y6SQ@mail.gmail.com> (raw)
In-Reply-To: <20190627163903.28398-2-yamada.masahiro@socionext.com>
On Fri, Jun 28, 2019 at 1:40 AM Masahiro Yamada
<yamada.masahiro@socionext.com> wrote:
>
> Multiple people have suggested compile-testing UAPI headers to ensure
> they can be really included from user-space. "make headers_check" is
> obviously not enough to catch bugs, and we often leak references to
> kernel-space definition to user-space.
>
> Use the new header-test-y syntax to implement it. Please note exported
> headers are compile-tested with a completely different set of compiler
> flags. The header search path is set to $(objtree)/usr/include since
> exported headers should not include unexported ones.
>
> We use -std=gnu89 for the kernel space since the kernel code highly
> depends on GNU extensions. On the other hand, UAPI headers should be
> written in more standardized C, so they are compiled with -std=c90.
> This will emit errors if C++ style comments, the keyword 'inline', etc.
> are used. Please use C style comments (/* ... */), '__inline__', etc.
> in UAPI headers.
>
> There is additional compiler requirement to enable this test because
> many of UAPI headers include <stdlib.h>, <sys/ioctl.h>, <sys/time.h>,
> etc. directly or indirectly. You cannot use kernel.org pre-built
> toolchains [1] since they lack <stdlib.h>.
>
> I added scripts/cc-system-headers.sh to check the system header
> availability, which CONFIG_UAPI_HEADER_TEST depends on.
Perhaps, we could use scripts/cc-can-link.sh for this purpose.
The intention is slightly different, but a compiler to link
user-space programs must provide necessary standard headers.
--
Best Regards
Masahiro Yamada
next prev parent reply other threads:[~2019-06-30 1:36 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-06-27 16:38 [PATCH v3 0/4] Compile-test UAPI and kernel headers Masahiro Yamada
2019-06-27 16:38 ` [PATCH v3 1/4] kbuild: compile-test UAPI headers to ensure they are self-contained Masahiro Yamada
2019-06-28 15:43 ` Sam Ravnborg
2019-06-30 1:27 ` Masahiro Yamada
2019-06-30 1:35 ` Masahiro Yamada [this message]
2019-06-27 16:39 ` [PATCH v3 4/4] kbuild: compile-test kernel " Masahiro Yamada
2019-06-28 18:00 ` Sam Ravnborg
2019-06-30 7:57 ` Masahiro Yamada
2019-06-28 4:57 ` [PATCH v3 0/4] Compile-test UAPI and kernel headers Masahiro Yamada
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=CAK7LNAQ4Z0BxqFrNdQDWJqbJBW9bSvnzVkvJTZZ-1mMKD7Y6SQ@mail.gmail.com \
--to=yamada.masahiro@socionext.com \
--cc=aou@eecs.berkeley.edu \
--cc=ast@kernel.org \
--cc=bpf@vger.kernel.org \
--cc=daniel@iogearbox.net \
--cc=jani.nikula@intel.com \
--cc=kafai@fb.com \
--cc=linux-kbuild@vger.kernel.org \
--cc=linux-kernel@vger.kernel.org \
--cc=linux-riscv@lists.infradead.org \
--cc=michal.lkml@markovi.net \
--cc=netdev@vger.kernel.org \
--cc=palmer@sifive.com \
--cc=sam@ravnborg.org \
--cc=songliubraving@fb.com \
--cc=yhs@fb.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).