v0.5.2 (2018-04-30)

The latest release of sparse have been pushed to the official repository. It’s a smaller release than the previous one but it contains some important changes to not be flooded by unimportant warnings while compiling the kernel.

The most notable changes are:

• better tracking and handling of expression constness
• fix bug with variadic macros
• less warnings on unknown attributes (none by default now)
• teach sparse about __builtin_{isinf_sign,isfinite,isnan}
• various update to the documentation
• do selfcheck with the locally built sparse
• some fixes or improvements for build (armhf, GNU/kfreebsd, …)
• also evaluate files included via -include

Many thanks to everyone involved.

Luc Van Oostenryck

—

Al Viro (1):

• Sparse preprocessing bug with zero-arg variadic macros

Christopher Li (8):

• gcc attr: add nonstring warn_if_not_aligned
• Makefile: provide CFLAGS for command line override.
• Give the constant pseudo value a size
• sparse-llvm: use pseudo->size to select llvm integer type
• Update gcc attribute list
• Fix crash cause by previous pseudo size change

Jacob Keller (1):

• sparse: document that -Wbitwise is default

Logan Gunthorpe (1):

• add __builtin functions for isinf_sign, isfinite and isnan

Luc Van Oostenryck (13):

• constexpr: rename handle_simple_initializer() to handle_initializer()
• constexpr: collect storage modifiers of initializers
• return an error if too few args
• give default return type in evaluate_call()
• constexpr: flag __builtin_bswap() as constexpr
• build: disable sparse-llvm on non-x86
• fix cgcc ELF version for ppc64/pcc64le
• fix: missing evaluate with ‘-include’ : add testcase
• fix: missing evaluate with ‘-include’
• Revert “Give the constant pseudo value a size”
• By default disable the warning flag ‘-Wunknown-attribute’
• bump up version to 0.5.2-RC1
• Sparse v0.5.2

Martin Kepplinger (2):

• compile-i386.c: fix a memory leak in sort_array()
• compile-i386: make use of expression_list_size()

Nicolai Stange (20):

• constexpr: introduce additional expression constness tracking flags
• constexpr: init flags at expression allocation
• constexpr: examine constness of casts at evaluation only
• constexpr: examine constness of binops and alike at evaluation only
• constexpr: examine constness of preops at evaluation only
• constexpr: examine constness of conditionals at evaluation only
• constexpr: add support for tagging arithmetic constant expressions
• constexpr: add support for tagging address constants
• constexpr: check static storage duration objects’ intializers’ constness
• constexpr: recognize static objects as address constants
• constexpr: recognize address constants created through casts
• constexpr: recognize address constants created through pointer arithmetic
• constexpr: recognize members of static compound objects as address constants
• constexpr: recognize string literals as address constants
• constexpr: recognize references to labels as address constants
• constexpr: examine constness of __builtin_offsetof at evaluation only
• constexpr: flag builtins constant_p, safe_p and warning as constexprs
• constexpr: relax some constant expression rules for pointer expressions
• constexpr: support compound literals as address constants
• constexpr: treat comparisons between types as integer constexpr

Ramsay Jones (1):

• Makefile: use locally built sparse in the selfcheck target

Randy Dunlap (5):

• sparse: minor manpage corrections
• Documentation: make data-structures.txt easier to read
• Documentation: editing fixes in test-suite
• test-suite: handle format with filename.c not existing
• sparse: ignore indirect_branch attribute

Uwe Kleine-König (4):

• build: remove version.h in clean target
• cgcc: teach cgcc about GNU/kFreeBSD
• compile-i386: Use SPARSE_VERSION instead of __DATE__
• cgcc: provide __ARM_PCS_VFP for armhf