From: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
To: linux-sparse@vger.kernel.org
Cc: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>,
Jacob Keller <jacob.e.keller@intel.com>
Subject: [PATCH 00/16] support __packed struct
Date: Sat, 26 Dec 2020 18:51:13 +0100 [thread overview]
Message-ID: <20201226175129.9621-1-luc.vanoostenryck@gmail.com> (raw)
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
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>
--
2.29.2
next reply other threads:[~2020-12-26 17:52 UTC|newest]
Thread overview: 37+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-12-26 17:51 Luc Van Oostenryck [this message]
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
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=20201226175129.9621-1-luc.vanoostenryck@gmail.com \
--to=luc.vanoostenryck@gmail.com \
--cc=jacob.e.keller@intel.com \
--cc=linux-sparse@vger.kernel.org \
/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).