This is an automated email from the git hooks/post-receive script.
tcwg-buildslave pushed a change to branch linaro-local/ci/tcwg_gnu/gnu-master-aarch64-bootstrap_lto in repository toolchain/ci/gcc.
from 79f71ec6fca Abstract out non_null adjustments in ranger. adds 92acae5047e Streamline vect_gen_while adds ad5f8ac1d2f rs6000: Don't let swaps pass break multiply low-part (PR101129) adds 1f7182d68c2 libstdc++: Add noexcept to __replacement_assert [PR101429] adds 17855eed7fc libstdc++: Fix std::get<T> for std::tuple [PR101427] adds 07bd2703047 Change the type of return value of profile_count::value to [...] adds 98f1f9f38c4 Avoid -Wvla-parameter for nontrivial bounds [PR97548]. adds b25edf6e6fe testsuite: Fix testisms in scalar tests PR101457 adds 7094a69bd62 c++: Optimize away NULLPTR_TYPE comparisons [PR101443] new 7a9c9a3265f testsuite: [arm] Add missing effective-target to vusdot-autovec.c new 797358f42fa testsuite: [arm] Remove arm_v8_2a_imm8_neon_ok_nocache new a9241df96e1 analyzer: handle self-referential phis new e9711fe482b analyzer: use DECL_DEBUG_EXPR on SSA names for artificial vars new 98cd4d123aa analyzer: add -fdump-analyzer-exploded-paths new 33255ad3ac1 analyzer: reimplement -Wanalyzer-use-of-uninitialized-value [...] new f0500db3692 Detect buffer overflow by aggregate and vector stores [PR97027].
The 7 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference.
Summary of changes: gcc/analyzer/analyzer.cc | 104 ++++--- gcc/analyzer/analyzer.h | 1 + gcc/analyzer/analyzer.opt | 8 + gcc/analyzer/constraint-manager.cc | 23 ++ gcc/analyzer/constraint-manager.h | 1 + gcc/analyzer/diagnostic-manager.cc | 57 ++++ gcc/analyzer/diagnostic-manager.h | 2 + gcc/analyzer/engine.cc | 303 ++++++++++----------- gcc/analyzer/exploded-graph.h | 24 +- gcc/analyzer/pending-diagnostic.h | 13 + gcc/analyzer/program-state.cc | 43 +-- gcc/analyzer/region-model-impl-calls.cc | 50 +++- gcc/analyzer/region-model-manager.cc | 4 + gcc/analyzer/region-model-reachability.cc | 16 +- gcc/analyzer/region-model.cc | 261 ++++++++++++++++-- gcc/analyzer/region-model.h | 32 ++- gcc/analyzer/region.cc | 117 ++++++++ gcc/analyzer/region.h | 16 ++ gcc/analyzer/sm-malloc.cc | 19 ++ gcc/analyzer/state-purge.cc | 37 ++- gcc/analyzer/store.cc | 55 ++++ gcc/analyzer/store.h | 10 + gcc/analyzer/svalue.cc | 32 ++- gcc/analyzer/svalue.h | 8 + gcc/c-family/c-warn.c | 3 +- gcc/c/c-decl.c | 1 + gcc/config/rs6000/rs6000-p8swap.c | 19 ++ gcc/cp/cp-gimplify.c | 26 ++ gcc/doc/invoke.texi | 16 ++ gcc/fold-const.c | 33 ++- gcc/gimple-pretty-print.c | 2 +- gcc/profile-count.h | 2 +- gcc/testsuite/g++.dg/analyzer/pr93212.C | 4 +- gcc/testsuite/g++.dg/analyzer/pr94011.C | 2 +- gcc/testsuite/g++.dg/analyzer/pr94503.C | 2 + gcc/testsuite/g++.dg/cpp0x/nullptr46.C | 11 + gcc/testsuite/gcc.dg/Wstringop-overflow-15.c | 2 +- gcc/testsuite/gcc.dg/Wstringop-overflow-47.c | 17 +- gcc/testsuite/gcc.dg/Wstringop-overflow-68.c | 104 +++++++ gcc/testsuite/gcc.dg/Wstringop-overflow-69.c | 84 ++++++ gcc/testsuite/gcc.dg/Wstringop-overflow-70.c | 21 ++ gcc/testsuite/gcc.dg/Wstringop-overflow-71.c | 105 +++++++ gcc/testsuite/gcc.dg/Wvla-parameter-12.c | 36 +++ gcc/testsuite/gcc.dg/analyzer/clobbers-1.c | 3 +- gcc/testsuite/gcc.dg/analyzer/data-model-1.c | 32 ++- gcc/testsuite/gcc.dg/analyzer/data-model-20.c | 2 +- gcc/testsuite/gcc.dg/analyzer/explode-2.c | 16 +- gcc/testsuite/gcc.dg/analyzer/explode-2a.c | 4 +- gcc/testsuite/gcc.dg/analyzer/fgets-1.c | 31 +++ gcc/testsuite/gcc.dg/analyzer/fread-1.c | 13 + gcc/testsuite/gcc.dg/analyzer/malloc-1.c | 7 +- .../gcc.dg/analyzer/memset-CVE-2017-18549-1.c | 8 +- gcc/testsuite/gcc.dg/analyzer/phi-1.c | 24 ++ .../analyzer/pr93355-localealias-feasibility.c | 7 + gcc/testsuite/gcc.dg/analyzer/pr94047.c | 2 +- gcc/testsuite/gcc.dg/analyzer/pr94851-2.c | 2 +- gcc/testsuite/gcc.dg/analyzer/pr96841.c | 4 +- gcc/testsuite/gcc.dg/analyzer/pr98628.c | 3 +- gcc/testsuite/gcc.dg/analyzer/pr99042.c | 8 +- gcc/testsuite/gcc.dg/analyzer/symbolic-1.c | 6 +- gcc/testsuite/gcc.dg/analyzer/symbolic-7.c | 6 +- gcc/testsuite/gcc.dg/analyzer/torture/pr93649.c | 3 +- gcc/testsuite/gcc.dg/analyzer/uninit-1.c | 44 +++ gcc/testsuite/gcc.dg/analyzer/uninit-2.c | 14 + gcc/testsuite/gcc.dg/analyzer/uninit-3.c | 36 +++ gcc/testsuite/gcc.dg/analyzer/uninit-4.c | 39 +++ gcc/testsuite/gcc.dg/analyzer/uninit-pr94713.c | 11 + gcc/testsuite/gcc.dg/analyzer/uninit-pr94714.c | 12 + gcc/testsuite/gcc.dg/analyzer/use-after-free-2.c | 8 + gcc/testsuite/gcc.dg/analyzer/use-after-free-3.c | 12 + gcc/testsuite/gcc.dg/analyzer/zlib-3.c | 2 +- gcc/testsuite/gcc.dg/analyzer/zlib-6.c | 13 +- gcc/testsuite/gcc.dg/analyzer/zlib-6a.c | 47 ++++ gcc/testsuite/gcc.dg/strlenopt-95.c | 65 +++++ gcc/testsuite/gcc.dg/torture/pr69170.c | 2 +- gcc/testsuite/gcc.dg/torture/pr70025.c | 5 + gcc/testsuite/gcc.dg/vect/pr97769.c | 2 +- gcc/testsuite/gcc.dg/vect/vect-reduc-dot-17.c | 5 +- gcc/testsuite/gcc.dg/vect/vect-reduc-dot-18.c | 5 +- gcc/testsuite/gcc.dg/vect/vect-reduc-dot-22.c | 2 +- gcc/testsuite/gcc.dg/vect/vect-reduc-dot-9.c | 5 +- gcc/testsuite/gcc.target/arm/simd/vusdot-autovec.c | 4 +- .../gcc.target/i386/pr92658-avx512bw-trunc.c | 4 +- gcc/testsuite/gcc.target/i386/pr92658-avx512f.c | 4 +- gcc/testsuite/gcc.target/powerpc/pr101129.c | 35 +++ gcc/testsuite/gfortran.dg/analyzer/pr97668.f | 2 +- gcc/testsuite/lib/target-supports.exp | 30 -- gcc/tree-cfg.c | 2 +- gcc/tree-core.h | 7 +- gcc/tree-ssa-strlen.c | 255 ++++++++++++----- gcc/tree-vect-loop-manip.c | 14 +- gcc/tree-vect-stmts.c | 21 +- gcc/tree-vectorizer.h | 3 +- libstdc++-v3/include/bits/c++config | 12 +- libstdc++-v3/include/std/tuple | 69 +++-- .../20_util/tuple/element_access/101427.cc | 23 ++ .../20_util/tuple/element_access/get_neg.cc | 3 +- 97 files changed, 2240 insertions(+), 484 deletions(-) create mode 100644 gcc/testsuite/g++.dg/cpp0x/nullptr46.C create mode 100644 gcc/testsuite/gcc.dg/Wstringop-overflow-68.c create mode 100644 gcc/testsuite/gcc.dg/Wstringop-overflow-69.c create mode 100644 gcc/testsuite/gcc.dg/Wstringop-overflow-70.c create mode 100644 gcc/testsuite/gcc.dg/Wstringop-overflow-71.c create mode 100644 gcc/testsuite/gcc.dg/Wvla-parameter-12.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/fgets-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/fread-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/phi-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/uninit-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/uninit-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/uninit-3.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/uninit-4.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/uninit-pr94713.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/uninit-pr94714.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/use-after-free-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/use-after-free-3.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/zlib-6a.c create mode 100644 gcc/testsuite/gcc.dg/strlenopt-95.c create mode 100644 gcc/testsuite/gcc.target/powerpc/pr101129.c create mode 100644 libstdc++-v3/testsuite/20_util/tuple/element_access/101427.cc