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_ubsan in repository toolchain/ci/gcc.
from 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] adds 7a9c9a3265f testsuite: [arm] Add missing effective-target to vusdot-autovec.c adds 797358f42fa testsuite: [arm] Remove arm_v8_2a_imm8_neon_ok_nocache adds a9241df96e1 analyzer: handle self-referential phis adds e9711fe482b analyzer: use DECL_DEBUG_EXPR on SSA names for artificial vars adds 98cd4d123aa analyzer: add -fdump-analyzer-exploded-paths adds 33255ad3ac1 analyzer: reimplement -Wanalyzer-use-of-uninitialized-value [...] adds f0500db3692 Detect buffer overflow by aggregate and vector stores [PR97027]. new 478cc962ad1 Add gimple_range_type for statements.
The 1 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/gimple-range-fold.cc | 44 ++- gcc/gimple-range-fold.h | 30 ++ 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 ++++++++++++----- 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 +- 96 files changed, 2270 insertions(+), 490 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