The goal of this series is to fix two bugs related to the initialization of bitfields: - bad shift & mask - no implicit zeroing One notable change is the removal of bit_offset & bit_size from struct access_data. This series is available at: git://github.com/lucvoo/sparse.git fix-bitfield-init based on commit: 14964df5373292af78b29529d4fc7e1a26b67a97 (sparse-next @ 2017-03-31) up to commit: 6e778f937073d96934c6240b5d47a76b0d592e27 Luc Van Oostenryck (4): add support for a new flag: -fdump-linearize[=only] remove bit_size & bit_offset from struct access_data add test case for linearize_initializer() of bitfields fix implicit zero initializer. lib.c | 22 +++++++ lib.h | 2 + linearize.c | 36 +++++++---- sparse.1 | 7 +++ validation/linear/bitfield-init-mask.c | 27 +++++++++ validation/linear/bitfield-init-zero.c | 102 ++++++++++++++++++++++++++++++++ validation/linear/struct-init-full.c | 28 +++++++++ validation/linear/struct-init-partial.c | 41 +++++++++++++ 8 files changed, 255 insertions(+), 10 deletions(-) create mode 100644 validation/linear/bitfield-init-mask.c create mode 100644 validation/linear/bitfield-init-zero.c create mode 100644 validation/linear/struct-init-full.c create mode 100644 validation/linear/struct-init-partial.c -- Luc Van Oostenryck -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
