Luc, I am fine with reverting pseudo_size in this release 0.5.2. But let's do at least one RC before calling it release. Give it a week for people to hammer it. Can you redo a pull request with 0.5.2-RC1? Thanks! Chris On Fri, Mar 2, 2018 at 1:30 PM, Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx> wrote: > Chris, > > please pull these patches for the 0.5.2 release. > > 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, ...) > > > The following changes since commit f28217d3ad1bf9e7099c86412d1e4c09c28addf3: > Merge remote-tracking branch 'luc/master' (2017-08-17 20:40:30 -0400) > > are available in the Git repository at: > git://github.com/lucvoo/sparse-dev.git rel-0.5.2 > > for you to fetch changes up to d3124cbc94a5c637854533785d105cf3e1c5e98c: > bump up version to 0.5.2 (2018-03-02 21:59:07 +0100) > > ---------------------------------------------------------------- > Al Viro (1): > Sparse preprocessing bug with zero-arg variadic macros > > Christopher Li (8): > gcc attr: add nonstring warn_if_not_aligned > Merge remote-tracking branch 'luc/constexpr-v4' into master > Makefile: provide CFLAGS for command line override. > Give the constant pseudo value a size > sparse-llvm: use pseudo->size to select llvm integer type > Merge remote-tracking branch 'chrisl/pseudo-sized-value-v2' > 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 (12): > 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 > > 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 > > Documentation/data-structures.txt | 107 +++++++------- > Documentation/test-suite | 8 +- > Makefile | 28 ++-- > builtin.c | 26 +++- > cgcc | 19 ++- > compile-i386.c | 10 +- > evaluate.c | 206 ++++++++++++++++++++------- > expand.c | 2 +- > expression.c | 48 +++---- > expression.h | 70 ++++++++- > gcc-attr-list.h | 14 ++ > lib.c | 21 ++- > lib.h | 1 + > pre-process.c | 4 +- > sparse.1 | 21 ++- > validation/Wunknown-attribute-def.c | 4 - > validation/builtin_inf.c | 3 + > validation/constexpr-addr-of-static-member.c | 26 ++++ > validation/constexpr-addr-of-static.c | 36 +++++ > validation/constexpr-binop.c | 33 +++++ > validation/constexpr-cast.c | 25 ++++ > validation/constexpr-compound-literal.c | 19 +++ > validation/constexpr-conditional.c | 34 +++++ > validation/constexpr-init.c | 60 ++++++++ > validation/constexpr-labelref.c | 14 ++ > validation/constexpr-offsetof.c | 21 +++ > validation/constexpr-pointer-arith.c | 28 ++++ > validation/constexpr-pointer-cast.c | 13 ++ > validation/constexpr-preop.c | 29 ++++ > validation/constexpr-pure-builtin.c | 23 +++ > validation/constexpr-string.c | 9 ++ > validation/constexpr-types-compatible-p.c | 8 ++ > validation/include-eval.c | 6 + > validation/include-eval.inc | 12 ++ > validation/preprocessor/preprocessor23.c | 4 + > validation/test-suite | 1 + > 36 files changed, 808 insertions(+), 185 deletions(-) > create mode 100644 validation/constexpr-addr-of-static-member.c > create mode 100644 validation/constexpr-addr-of-static.c > create mode 100644 validation/constexpr-binop.c > create mode 100644 validation/constexpr-cast.c > create mode 100644 validation/constexpr-compound-literal.c > create mode 100644 validation/constexpr-conditional.c > create mode 100644 validation/constexpr-init.c > create mode 100644 validation/constexpr-labelref.c > create mode 100644 validation/constexpr-offsetof.c > create mode 100644 validation/constexpr-pointer-arith.c > create mode 100644 validation/constexpr-pointer-cast.c > create mode 100644 validation/constexpr-preop.c > create mode 100644 validation/constexpr-pure-builtin.c > create mode 100644 validation/constexpr-string.c > create mode 100644 validation/constexpr-types-compatible-p.c > create mode 100644 validation/include-eval.c > create mode 100644 validation/include-eval.inc -- 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