From: Jacob Keller <jacob.e.keller@intel.com>
To: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>,
linux-sparse@vger.kernel.org
Subject: Re: [PATCH 00/16] support __packed struct
Date: Tue, 5 Jan 2021 09:55:00 -0800 [thread overview]
Message-ID: <404858f7-a7cc-108a-73d0-bd52cda11a42@intel.com> (raw)
In-Reply-To: <20201226175129.9621-1-luc.vanoostenryck@gmail.com>
On 12/26/2020 9:51 AM, Luc Van Oostenryck wrote:
> During parsing, Sparse recognizes the attribute 'packed' but this
> attribute is otherwise ignored for several reasons:
> 1) the attribute in 'struct __attr { ... }' is wrongly handled as
> belonging to the whole declaration but it should belong to the type,
> 2) the attribute in 'struct <name> { ... } __attr;' is simply ignored,
> 3) the layout of packed bitfields need special care.
>
> This series contains 2 parts:
> 1) handling of type attributes
> 2) correct layout of packed structs, including packed bitfields.
>
>
> This series is also available for review and testing at:
> git://git.kernel.org/pub/scm/devel/sparse/sparse-dev.git packed-v2
>
This series looks good to me, and it resolves the issues I saw a few
weeks ago with size.
Thanks,
Jake
>
> Changes since v1:
> * fix layout of packed bitfields
>
> Luc Van Oostenryck (16):
> add testcases for dubious enum values
> add testcases for exotic enum values
> add testcases for enum attributes
> add testcases for type attributes
> add testcases for packed structures
> add testcases for packed bitfields
> apply_ctype: use self-explanatory argument name
> apply_ctype: reverse the order of arguments
> apply_ctype: move up its declaration
> struct-attr: prepare to handle attributes at the end of struct definitions (1)
> struct-attr: prepare to handle attributes at the end of struct definitions (2)
> struct-attr: prepare to handle attributes at the end of struct definitions (3)
> struct-attr: fix type attribute like 'struct __attr { ... }'
> struct-attr: fix: do not ignore struct/union/enum type attributes
> packed: no out-of-bound access of packed bitfields
> packed: add support for __packed struct
>
> linearize.c | 13 +++++-
> parse.c | 71 ++++++++++++++++---------------
> symbol.c | 12 ++++--
> symbol.h | 2 +
> validation/enum-type-dubious.c | 18 ++++++++
> validation/enum-type-exotic.c | 28 ++++++++++++
> validation/packed-bitfield0.c | 66 ++++++++++++++++++++++++++++
> validation/packed-bitfield1.c | 27 ++++++++++++
> validation/packed-bitfield2.c | 15 +++++++
> validation/packed-bitfield3.c | 28 ++++++++++++
> validation/packed-bitfield4.c | 18 ++++++++
> validation/packed-bitfield5.c | 20 +++++++++
> validation/packed-deref0.c | 23 ++++++++++
> validation/packed-struct.c | 32 ++++++++++++++
> validation/parsing/enum-attr.c | 29 +++++++++++++
> validation/type-attribute-align.c | 19 +++++++++
> validation/type-attribute-as.c | 33 ++++++++++++++
> validation/type-attribute-mod.c | 21 +++++++++
> validation/type-attribute-qual.c | 12 ++++++
> 19 files changed, 448 insertions(+), 39 deletions(-)
> create mode 100644 validation/enum-type-dubious.c
> create mode 100644 validation/enum-type-exotic.c
> create mode 100644 validation/packed-bitfield0.c
> create mode 100644 validation/packed-bitfield1.c
> create mode 100644 validation/packed-bitfield2.c
> create mode 100644 validation/packed-bitfield3.c
> create mode 100644 validation/packed-bitfield4.c
> create mode 100644 validation/packed-bitfield5.c
> create mode 100644 validation/packed-deref0.c
> create mode 100644 validation/packed-struct.c
> create mode 100644 validation/parsing/enum-attr.c
> create mode 100644 validation/type-attribute-align.c
> create mode 100644 validation/type-attribute-as.c
> create mode 100644 validation/type-attribute-mod.c
> create mode 100644 validation/type-attribute-qual.c
>
>
> base-commit: 1b896707d95982c7c9cdd5cd0ab4afd80f766a94
> Cc: Jacob Keller <jacob.e.keller@intel.com>
>
prev parent reply other threads:[~2021-01-05 17:55 UTC|newest]
Thread overview: 37+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-12-26 17:51 [PATCH 00/16] support __packed struct Luc Van Oostenryck
2020-12-26 17:51 ` [PATCH v2 01/16] add testcases for dubious enum values Luc Van Oostenryck
2020-12-26 17:51 ` [PATCH v2 02/16] add testcases for exotic " Luc Van Oostenryck
2020-12-28 16:10 ` Ramsay Jones
2020-12-28 20:00 ` Luc Van Oostenryck
2020-12-26 17:51 ` [PATCH v2 03/16] add testcases for enum attributes Luc Van Oostenryck
2020-12-26 17:51 ` [PATCH v2 04/16] add testcases for type attributes Luc Van Oostenryck
2020-12-28 16:13 ` Ramsay Jones
2020-12-28 19:59 ` Luc Van Oostenryck
2020-12-26 17:51 ` [PATCH v2 05/16] add testcases for packed structures Luc Van Oostenryck
2020-12-28 16:17 ` Ramsay Jones
2020-12-28 20:01 ` Luc Van Oostenryck
2020-12-26 17:51 ` [PATCH v2 06/16] add testcases for packed bitfields Luc Van Oostenryck
2020-12-28 16:28 ` Ramsay Jones
2020-12-28 20:05 ` Luc Van Oostenryck
2020-12-26 17:51 ` [PATCH v2 07/16] apply_ctype: use self-explanatory argument name Luc Van Oostenryck
2020-12-26 17:51 ` [PATCH v2 08/16] apply_ctype: reverse the order of arguments Luc Van Oostenryck
2020-12-28 16:47 ` Ramsay Jones
2020-12-28 20:37 ` Luc Van Oostenryck
2020-12-26 17:51 ` [PATCH v2 09/16] apply_ctype: move up its declaration Luc Van Oostenryck
2020-12-26 17:51 ` [PATCH v2 10/16] struct-attr: prepare to handle attributes at the end of struct definitions (1) Luc Van Oostenryck
2020-12-28 16:54 ` Ramsay Jones
2020-12-28 20:49 ` Luc Van Oostenryck
2020-12-26 17:51 ` [PATCH v2 11/16] struct-attr: prepare to handle attributes at the end of struct definitions (2) Luc Van Oostenryck
2020-12-26 17:51 ` [PATCH v2 12/16] struct-attr: prepare to handle attributes at the end of struct definitions (3) Luc Van Oostenryck
2020-12-26 17:51 ` [PATCH v2 13/16] struct-attr: fix type attribute like 'struct __attr { ... }' Luc Van Oostenryck
2020-12-26 17:51 ` [PATCH v2 14/16] struct-attr: fix: do not ignore struct/union/enum type attributes Luc Van Oostenryck
2020-12-26 17:51 ` [PATCH v2 15/16] packed: no out-of-bound access of packed bitfields Luc Van Oostenryck
2020-12-28 17:10 ` Ramsay Jones
2020-12-28 21:12 ` Luc Van Oostenryck
2020-12-26 17:51 ` [PATCH v2 16/16] packed: add support for __packed struct Luc Van Oostenryck
2020-12-28 17:18 ` [PATCH 00/16] support " Ramsay Jones
2020-12-28 21:33 ` Luc Van Oostenryck
2021-01-05 17:56 ` Jacob Keller
2021-01-05 20:39 ` Luc Van Oostenryck
2021-01-05 22:07 ` Jacob Keller
2021-01-05 17:55 ` Jacob Keller [this message]
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=404858f7-a7cc-108a-73d0-bd52cda11a42@intel.com \
--to=jacob.e.keller@intel.com \
--cc=linux-sparse@vger.kernel.org \
--cc=luc.vanoostenryck@gmail.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).