Chris,
Please pull these patches for v0.5.1-rc3.
The patches of two kinds:
*) fixes for problem found during pre-release testing:
- missing examine in evaluate_dereference()
- workaround for bogus phi-nodes
- fix for OP_PHI liveness
- fix for __builtin_bswap{16,32,64}() constantness
*) small things inhibiting testing:
- dissect: use built_in_ident() instead of MK_IDENT()
- little/big-endian flag & defines
- cgcc support for arm, arm64 & ppc64
Everything have now been tested on:
- linux i386, x86-64, arm64, arm, ppc64 & ppc64le
- freebsd x86-64
- openbsd i386 (llvm backend not tested)
- darwin x86-64
and the tests consisted in:
- sparse's testsuite, of course,
- on linux, a kernel compile for an allyesconfig and looking
after some oddities in the logs, like a crash or an unusal
warning.
- doing a 'make sparse' on the git's tree
The only remaining problem I saw was a failire in the llvm
backend on arm (but I only had a rather old version of LLVM).
Unless a last minute problem, this should be the last patches
for the release.
Regards,
Luc
----------------------------------------------------------------
The following changes since commit bcfe020ed939fa1e8474efaf31a86d80d0e5c5fe:
add support for -fmemcpy-max-count (2017-06-15 10:03:49 +0200)
are available in the git repository at:
git://github.com/lucvoo/sparse.git tags/for-chris
for you to fetch changes up to a6fbbbf01a1ca358e0a991dd0fb1a1cca60b6f0b:
bump sparse's version to -rc3 (2017-06-21 15:30:04 +0200)
----------------------------------------------------------------
Luc Van Oostenryck (13):
fix: add missing examine in evaluate_dereference()
fix OP_PHI usage in try_to_simplify_bb() only when non-bogus
fix: try_to_simplify_bb eargerness
add fallback for missing __builtin_bswapXX()
fix: __builtin_bswap{16,32,64}() constantness
dissect: use built_in_ident() instead of MK_IDENT()
teach sparse about -m{big,little}-endian
teach sparse about __{BIG,LITTLE}_ENDIAN__
teach sparse about __BYTE_ORDER__ & __ORDER_{BIG,LITTLE}_ENDIAN__
cgcc: teach cgcc about arm64
cgcc: teach cgcc about ppc64[le]
cgcc: teach cgcc about arm
bump sparse's version to -rc3
Makefile | 2 +-
builtin.c | 11 ++++---
cgcc | 20 +++++++++++++
compat/bswap.h | 54 +++++++++++++++++++++++++++++++++++
dissect.h | 11 -------
evaluate.c | 2 ++
flow.c | 47 +++++++++++++++++-------------
lib.c | 24 +++++++++++++++-
lib.h | 1 +
test-dissect.c | 6 ++--
validation/badtype5.c | 18 ++++++++++++
validation/builtin-bswap-constant.c | 6 ++++
validation/crazy03.c | 33 +++++++++++++++++++++
validation/endian-big.c | 14 +++++++++
validation/endian-little.c | 14 +++++++++
validation/linear/missing-insn-size.c | 19 ++++++++++++
16 files changed, 242 insertions(+), 40 deletions(-)
create mode 100644 compat/bswap.h
create mode 100644 validation/badtype5.c
create mode 100644 validation/crazy03.c
create mode 100644 validation/endian-big.c
create mode 100644 validation/endian-little.c
create mode 100644 validation/linear/missing-insn-size.c
--
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
