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-arm-bootstrap_O3 in repository toolchain/ci/gcc.
from 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]. adds 478cc962ad1 Add gimple_range_type for statements. adds f364cdffa47 i386: Fix ix86_hard_regno_mode_ok for TDmode on 32bit targe [...] adds c031ea2782a analyzer: fix const-correctness of various is_a_helper
No new revisions were added by this update.
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 | 16 +- gcc/c-family/c-warn.c | 3 +- gcc/c/c-decl.c | 1 + gcc/config/i386/i386.c | 7 +- gcc/config/i386/i386.h | 8 +- gcc/cp/cp-gimplify.c | 26 ++ gcc/doc/invoke.texi | 16 ++ gcc/fold-const.c | 33 ++- gcc/gimple-range-fold.cc | 44 ++- gcc/gimple-range-fold.h | 30 ++ 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/testsuite/gcc.target/i386/pr101346.c | 10 + .../gcc.target/i386/pr92658-avx512bw-trunc.c | 4 +- gcc/testsuite/gcc.target/i386/pr92658-avx512f.c | 4 +- gcc/testsuite/gfortran.dg/analyzer/pr97668.f | 2 +- gcc/testsuite/lib/target-supports.exp | 30 -- gcc/tree-core.h | 7 +- gcc/tree-ssa-strlen.c | 255 ++++++++++++----- 90 files changed, 2143 insertions(+), 483 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/i386/pr101346.c