From: Tom Rini <trini@konsulko.com>
To: Rasmus Villemoes <rasmus.villemoes@prevas.dk>
Cc: "Simon Glass" <sjg@chromium.org>,
"U-Boot Mailing List" <u-boot@lists.denx.de>,
"Bin Meng" <bmeng.cn@gmail.com>,
"Ilias Apalodimas" <ilias.apalodimas@linaro.org>,
"Bill Mills" <bill.mills@linaro.org>,
"Heinrich Schuchardt" <xypron.glpk@gmx.de>,
"François Ozog" <francois.ozog@linaro.org>
Subject: Re: [PATCH 04/31] stddef: Avoid warning with clang with offsetof()
Date: Thu, 13 Jan 2022 08:07:34 -0500 [thread overview]
Message-ID: <20220113130734.GJ9207@bill-the-cat> (raw)
In-Reply-To: <e429adcc-0eb3-6e97-1dad-41e41f4ebd24@prevas.dk>
[-- Attachment #1: Type: text/plain, Size: 2652 bytes --]
On Thu, Jan 13, 2022 at 09:08:13AM +0100, Rasmus Villemoes wrote:
> On 01/11/2021 02.17, Simon Glass wrote:
> > Some bright sparks have decided that a cast on a constant cannot be a
> > constant, so offsetof() produces this warning on clang-10:
> >
> > include/intel_gnvs.h:113:1: error: static_assert expression is not an
> > integral constant expression
> > check_member(acpi_global_nvs, unused2, GNVS_CHROMEOS_ACPI_OFFSET);
> > ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
> > include/linux/kernel.h:284:2: note: expanded from macro 'check_member'
> > offsetof(struct structure, member) == (offset), \
> > ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
> > include/linux/stddef.h:20:32: note: expanded from macro 'offsetof'
> > ^
> > include/intel_gnvs.h:113:1: note: cast that performs the conversions of
> > a reinterpret_cast is ot allowed in a constant expression
> > include/linux/stddef.h:20:33: note: expanded from macro 'offsetof'
> >
> > Fix it by using the compiler built-in version, if available.
> >
> > Signed-off-by: Simon Glass <sjg@chromium.org>
> > ---
> >
> > include/linux/stddef.h | 8 +++++++-
> > 1 file changed, 7 insertions(+), 1 deletion(-)
> >
> > diff --git a/include/linux/stddef.h b/include/linux/stddef.h
> > index c540f6100d4..a7f546fdfe5 100644
> > --- a/include/linux/stddef.h
> > +++ b/include/linux/stddef.h
> > @@ -1,6 +1,8 @@
> > #ifndef _LINUX_STDDEF_H
> > #define _LINUX_STDDEF_H
> >
> > +#include <linux/compiler_types.h>
> > +
> > #undef NULL
> > #if defined(__cplusplus)
> > #define NULL 0
> > @@ -14,7 +16,11 @@
> >
> > #ifndef __CHECKER__
> > #undef offsetof
> > -#define offsetof(TYPE, MEMBER) ((size_t) &((TYPE *)0)->MEMBER)
> > +#ifdef __compiler_offsetof
> > +#define offsetof(TYPE, MEMBER) __compiler_offsetof(TYPE, MEMBER)
> > +#else
> > +#define offsetof(TYPE, MEMBER) ((size_t)&((TYPE *)0)->MEMBER)
> > +#endif
> > #endif
>
>
> Can we please just drop the useless indirections? Any compiler we care
> about provides __builtin_offsetof(), so just make the whole thing
>
> #undef offsetof
> #define offsetof(TYPE, MEMBER) __builtin_offsetof(TYPE, MEMBER)
>
> And by "compilers we care about", that includes sparse - it has had
> __builtin_offsetof ever since 2007.
>
> And we can nuke the __compiler_offsetof definition in compiler_types.h,
> and if any users exist, just mechanically convert them to offsetof().
We should re-sync this with upstream, but that will keep the indirection
you're objecting to here, I think.
--
Tom
[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 659 bytes --]
next prev parent reply other threads:[~2022-01-13 13:07 UTC|newest]
Thread overview: 63+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-11-01 1:17 [PATCH 00/31] passage: Define a standard for firmware data flow Simon Glass
2021-11-01 1:17 ` [PATCH 01/31] Makefile: Correct TPL rule for OF_REAL Simon Glass
2021-11-01 6:54 ` Ilias Apalodimas
2021-11-14 0:34 ` Simon Glass
2021-11-01 1:17 ` [PATCH 02/31] kconfig: Add support for conditional values Simon Glass
2021-11-01 7:05 ` Ilias Apalodimas
2022-01-12 21:28 ` Simon Glass
2022-01-12 21:56 ` Tom Rini
2022-01-12 22:22 ` Simon Glass
2022-01-12 23:04 ` Tom Rini
2022-01-13 7:56 ` Rasmus Villemoes
2022-01-13 12:52 ` Tom Rini
2022-01-13 13:56 ` Simon Glass
2022-01-13 15:01 ` Rasmus Villemoes
2022-01-13 15:29 ` Tom Rini
2021-11-01 1:17 ` [PATCH 03/31] dm: core: Allow getting some basic stats Simon Glass
2021-11-01 7:07 ` Ilias Apalodimas
2021-11-01 1:17 ` [PATCH 04/31] stddef: Avoid warning with clang with offsetof() Simon Glass
2022-01-13 8:08 ` Rasmus Villemoes
2022-01-13 13:07 ` Tom Rini [this message]
2022-01-13 13:37 ` Simon Glass
2022-01-13 13:41 ` Tom Rini
2022-01-13 13:50 ` Simon Glass
2021-11-01 1:17 ` [PATCH 05/31] fdt: Drop SPL_BUILD macro Simon Glass
2021-11-01 7:42 ` Ilias Apalodimas
2021-11-01 1:17 ` [PATCH 06/31] bloblist: Put the magic number first Simon Glass
2021-11-01 1:17 ` [PATCH 07/31] bloblist: Rename the SPL tag Simon Glass
2021-11-01 1:17 ` [PATCH 08/31] bloblist: Drop unused tags Simon Glass
2021-11-01 1:17 ` [PATCH 09/31] bloblist: Use explicit numbering for the tags Simon Glass
2021-11-01 1:17 ` [PATCH 10/31] bloblist: Support allocating the bloblist Simon Glass
2021-11-01 1:17 ` [PATCH 11/31] bloblist: Use LOG_CATEGORY to simply logging Simon Glass
2021-11-01 1:17 ` [PATCH 12/31] bloblist: Use 'phase' consistently for bloblists Simon Glass
2021-11-01 1:17 ` [PATCH 13/31] bloblist: Refactor Kconfig to support alloc or fixed Simon Glass
2021-11-01 1:17 ` [PATCH 14/31] arm: qemu: Add an SPL build Simon Glass
2021-11-01 1:17 ` [PATCH 15/31] bloblist: Add functions to obtain base address and size Simon Glass
2021-11-01 1:17 ` [PATCH 16/31] passage: Support an incoming passage Simon Glass
2021-11-01 1:17 ` [PATCH 17/31] passage: Support a control devicetree Simon Glass
2021-11-01 1:17 ` [PATCH 18/31] passage: arm: Accept a passage from the previous phase Simon Glass
2021-11-01 1:17 ` [PATCH 19/31] passage: spl: Support adding the dtb to the passage bloblist Simon Glass
2021-11-01 1:17 ` [PATCH 20/31] passage: spl: Support passing the passage to U-Boot Simon Glass
2021-11-01 1:17 ` [PATCH 21/31] passage: Record where the devicetree came from Simon Glass
2021-11-01 1:17 ` [PATCH 22/31] passage: Report the devicetree source Simon Glass
2021-11-01 1:17 ` [PATCH 23/31] passage: Add a qemu test for ARM Simon Glass
2021-11-01 1:17 ` [PATCH 24/31] bloblist: doc: Bring in the API documentation Simon Glass
2021-11-01 1:17 ` [PATCH 25/31] bloblist: Relicense to allow BSD-3-Clause Simon Glass
2021-11-01 1:17 ` [PATCH 26/31] sandbox: Add a way of checking structs for standard passage Simon Glass
2021-11-01 1:17 ` [PATCH 27/31] passage: Add documentation Simon Glass
2021-11-01 1:17 ` [PATCH 28/31] passage: Add docs for spl_handoff Simon Glass
2021-11-01 1:17 ` [PATCH 29/31] x86: Move Intel GNVS file into the common include directory Simon Glass
2021-11-01 1:17 ` [PATCH 30/31] passage: Add checks for pre-existing blobs Simon Glass
2021-11-01 1:17 ` [PATCH 31/31] WIP: RFC: Add a gitlab test Simon Glass
2021-11-01 8:53 ` [PATCH 00/31] passage: Define a standard for firmware data flow François Ozog
2021-11-01 18:19 ` Mark Kettenis
2021-11-01 20:45 ` François Ozog
2021-11-02 14:58 ` Simon Glass
2021-11-02 16:03 ` François Ozog
2021-11-05 2:02 ` Simon Glass
2021-11-05 8:26 ` François Ozog
2021-11-05 16:12 ` Simon Glass
2021-11-05 16:31 ` François Ozog
2021-11-05 17:16 ` Simon Glass
2021-11-08 16:20 ` François Ozog
2021-11-10 19:37 ` Simon Glass
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=20220113130734.GJ9207@bill-the-cat \
--to=trini@konsulko.com \
--cc=bill.mills@linaro.org \
--cc=bmeng.cn@gmail.com \
--cc=francois.ozog@linaro.org \
--cc=ilias.apalodimas@linaro.org \
--cc=rasmus.villemoes@prevas.dk \
--cc=sjg@chromium.org \
--cc=u-boot@lists.denx.de \
--cc=xypron.glpk@gmx.de \
/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