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_debug in repository toolchain/ci/gcc.
from 7123217afb3 Merge two define_insn: <avx512>_blendm<mode>, <avx512>_load [...] adds 2e47c8c6eac openmp: Add support for non-rectangular loops in taskloop c [...] adds 2b5490f5d16 docs: Fix typos in -fallow-argument-mismatch description adds f91770216ea ipa: fix ICE in get_default_value adds 17dc08edc28 nvptx: Add support for subword compare-and-swap adds db461538083 Revert "AArch64: Add if condition in aarch64_function_value [...] adds e00464a5cb4 Fix PR fortran/93671; ICE in reffing coarray alloc. comps. adds 55484a0f816 libstdc++: Deprecate the --enable-cheaders=c_std configuration adds 0c5f6bbfe2e [c++]: Unconfuse lookup_name_real API a bit adds 0ad7e730c14 rs6000: ICE when using an MMA type as a function param or r [...] adds b5034abbaa4 i386: Improve CET builtin expanders. adds 808f4dfeb3a analyzer: rewrite of region and value-handling adds 2ec32ddf822 analyzer: add regression test [PR96598] adds b3cb56060bc Daily bump. adds 04630cd6ec2 [testsuite] Add missing require-effective-target allloca adds 20f6a891f62 C-SKY: Fix assembling error with -mfloat-abi=hard. adds 5afd18820f4 Add missing PR entries for recent analyzer commit. adds 22dc89f8073 vec: Fix bootstrap on i686-linux, 32-bit darwin and AIX adds 129a1319c0a diagnostics: Add new option -fdiagnostics-plain-output adds 2398c206101 i386: Improve LWP builtin expanders. adds 4c58a32f478 c++: More simplification of name_lookup api adds 32005478425 c++: Copy elision and [[no_unique_address]]. [PR93711] adds db1c2a89db0 c++: Yet more name-lookup api simplification adds 7e625038623 analyzer: document how to get gimple dump from an ICE adds ee88b536069 analyzer: fix ICE on escaped unknown pointers [PR96611] adds 2867118ddda analyzer: fix initialization from constant pool [PR96609,PR96616] adds 866626efd74 PR tree-optimization/78257 - missing memcmp optimization wi [...] adds f00008b45ad c++: Final bit of name-lookup api simplification new 661ee09b8ba Daily bump.
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/ChangeLog | 169 + gcc/DATESTAMP | 2 +- gcc/Makefile.in | 8 +- gcc/analyzer/ChangeLog | 1426 ++++ gcc/analyzer/analyzer-logging.cc | 8 +- gcc/analyzer/analyzer-logging.h | 2 + gcc/analyzer/analyzer-selftests.cc | 1 + gcc/analyzer/analyzer-selftests.h | 1 + gcc/analyzer/analyzer.cc | 30 + gcc/analyzer/analyzer.h | 192 +- gcc/analyzer/analyzer.opt | 8 + gcc/analyzer/call-string.cc | 2 + gcc/analyzer/checker-path.cc | 52 +- gcc/analyzer/checker-path.h | 12 +- gcc/analyzer/constraint-manager.cc | 1226 ++- gcc/analyzer/constraint-manager.h | 113 +- gcc/analyzer/diagnostic-manager.cc | 451 +- gcc/analyzer/diagnostic-manager.h | 20 +- gcc/analyzer/engine.cc | 790 +- gcc/analyzer/exploded-graph.h | 55 +- gcc/analyzer/program-point.cc | 61 + gcc/analyzer/program-point.h | 52 +- gcc/analyzer/program-state.cc | 1271 ++- gcc/analyzer/program-state.h | 240 +- gcc/analyzer/region-model-impl-calls.cc | 352 + gcc/analyzer/region-model-manager.cc | 1088 +++ gcc/analyzer/region-model-reachability.cc | 280 + gcc/analyzer/region-model-reachability.h | 117 + gcc/analyzer/region-model.cc | 8934 +++++--------------- gcc/analyzer/region-model.h | 3142 ++++--- gcc/analyzer/region.cc | 1091 +++ gcc/analyzer/sm-file.cc | 26 +- gcc/analyzer/sm-malloc.cc | 164 +- gcc/analyzer/sm-sensitive.cc | 3 +- gcc/analyzer/sm-signal.cc | 15 +- gcc/analyzer/sm-taint.cc | 9 +- gcc/analyzer/sm.cc | 21 +- gcc/analyzer/sm.h | 35 +- gcc/analyzer/store.cc | 2070 +++++ gcc/analyzer/store.h | 616 ++ gcc/analyzer/svalue.cc | 1004 +++ gcc/builtins.c | 14 +- gcc/common.opt | 4 + gcc/config/aarch64/aarch64.c | 4 - gcc/config/csky/csky-elf.h | 2 + gcc/config/csky/csky-linux-elf.h | 2 + gcc/config/i386/i386-builtin.def | 34 +- gcc/config/i386/i386-builtins.c | 19 +- gcc/config/i386/i386-expand.c | 159 +- gcc/config/i386/i386.md | 102 +- gcc/config/rs6000/rs6000-call.c | 34 +- gcc/cp/ChangeLog | 148 + gcc/cp/call.c | 51 +- gcc/cp/coroutines.cc | 8 +- gcc/cp/cp-objcp-common.c | 2 +- gcc/cp/cp-tree.h | 20 +- gcc/cp/decl.c | 6 +- gcc/cp/init.c | 3 +- gcc/cp/name-lookup.c | 180 +- gcc/cp/name-lookup.h | 61 +- gcc/cp/parser.c | 37 +- gcc/cp/pt.c | 31 +- gcc/cp/rtti.c | 2 +- gcc/cp/semantics.c | 6 +- gcc/cp/typeck2.c | 12 +- gcc/doc/analyzer.texi | 115 +- gcc/doc/invoke.texi | 14 + gcc/expr.c | 180 +- gcc/expr.h | 8 +- gcc/fold-const-call.c | 6 +- gcc/fold-const.c | 33 +- gcc/fold-const.h | 3 +- gcc/fortran/ChangeLog | 11 + gcc/fortran/invoke.texi | 6 +- gcc/fortran/trans-array.c | 26 +- gcc/gimple-fold.c | 8 +- gcc/gimplify.c | 145 +- gcc/ipa-cp.c | 2 +- gcc/omp-expand.c | 20 +- gcc/omp-general.c | 12 +- gcc/opts-common.c | 39 +- gcc/system.h | 1 + gcc/testsuite/ChangeLog | 272 + gcc/testsuite/g++.dg/analyzer/pr93212.C | 5 +- gcc/testsuite/g++.dg/analyzer/pr93950.C | 4 +- gcc/testsuite/g++.dg/analyzer/pr94011.C | 16 + gcc/testsuite/g++.dg/analyzer/pr94028.C | 4 +- gcc/testsuite/g++.dg/analyzer/pr94503.C | 25 + gcc/testsuite/g++.dg/analyzer/pr95042.C | 28 + gcc/testsuite/g++.dg/cpp1z/aggr-base10.C | 16 + gcc/testsuite/g++.dg/cpp2a/no_unique_address7.C | 13 + gcc/testsuite/g++.dg/cpp2a/no_unique_address7a.C | 14 + .../gcc.dg/analyzer/CVE-2005-1689-dedupe-issue-2.c | 30 + .../gcc.dg/analyzer/CVE-2005-1689-dedupe-issue.c | 2 +- .../gcc.dg/analyzer/CVE-2005-1689-minimal.c | 61 + gcc/testsuite/gcc.dg/analyzer/abs-1.c | 22 + gcc/testsuite/gcc.dg/analyzer/aliasing-1.c | 25 + gcc/testsuite/gcc.dg/analyzer/aliasing-2.c | 32 + gcc/testsuite/gcc.dg/analyzer/analyzer-decls.h | 7 +- gcc/testsuite/gcc.dg/analyzer/attribute-nonnull.c | 12 +- gcc/testsuite/gcc.dg/analyzer/bzero-1.c | 11 + gcc/testsuite/gcc.dg/analyzer/casts-1.c | 49 + gcc/testsuite/gcc.dg/analyzer/casts-2.c | 15 + .../gcc.dg/analyzer/compound-assignment-1.c | 9 +- .../gcc.dg/analyzer/compound-assignment-3.c | 2 +- .../gcc.dg/analyzer/compound-assignment-4.c | 28 + .../gcc.dg/analyzer/compound-assignment-5.c | 142 + .../gcc.dg/analyzer/conditionals-notrans.c | 33 +- gcc/testsuite/gcc.dg/analyzer/data-model-1.c | 96 +- gcc/testsuite/gcc.dg/analyzer/data-model-13.c | 7 +- gcc/testsuite/gcc.dg/analyzer/data-model-14.c | 9 +- gcc/testsuite/gcc.dg/analyzer/data-model-18.c | 4 +- gcc/testsuite/gcc.dg/analyzer/data-model-20.c | 25 + gcc/testsuite/gcc.dg/analyzer/data-model-5.c | 13 +- gcc/testsuite/gcc.dg/analyzer/data-model-5b.c | 12 +- gcc/testsuite/gcc.dg/analyzer/data-model-5c.c | 13 +- gcc/testsuite/gcc.dg/analyzer/data-model-5d.c | 61 +- gcc/testsuite/gcc.dg/analyzer/data-model-6.c | 14 - gcc/testsuite/gcc.dg/analyzer/data-model-8.c | 3 +- gcc/testsuite/gcc.dg/analyzer/describe-1.c | 11 + gcc/testsuite/gcc.dg/analyzer/dot-output.c | 3 +- gcc/testsuite/gcc.dg/analyzer/explode-1.c | 2 +- gcc/testsuite/gcc.dg/analyzer/explode-2.c | 16 +- gcc/testsuite/gcc.dg/analyzer/feasibility-1.c | 62 + gcc/testsuite/gcc.dg/analyzer/first-field-1.c | 24 + gcc/testsuite/gcc.dg/analyzer/first-field-2.c | 33 + gcc/testsuite/gcc.dg/analyzer/init.c | 136 + gcc/testsuite/gcc.dg/analyzer/leak-2.c | 9 + .../analyzer/loop-0-up-to-n-by-1-with-iter-obj.c | 73 + .../analyzer/{loop.c => loop-0-up-to-n-by-1.c} | 20 +- gcc/testsuite/gcc.dg/analyzer/loop-2a.c | 10 +- gcc/testsuite/gcc.dg/analyzer/loop-3.c | 7 +- gcc/testsuite/gcc.dg/analyzer/loop-4.c | 13 +- .../analyzer/{loop.c => loop-n-down-to-1-by-1.c} | 20 +- .../gcc.dg/analyzer/loop-start-down-to-end-by-1.c | 35 + .../analyzer/loop-start-down-to-end-by-step.c | 30 + .../gcc.dg/analyzer/loop-start-to-end-by-step.c | 36 + .../gcc.dg/analyzer/loop-start-up-to-end-by-1.c | 34 + gcc/testsuite/gcc.dg/analyzer/loop.c | 9 +- gcc/testsuite/gcc.dg/analyzer/malloc-1.c | 26 +- gcc/testsuite/gcc.dg/analyzer/malloc-4.c | 4 +- gcc/testsuite/gcc.dg/analyzer/malloc-in-loop.c | 19 + .../gcc.dg/analyzer/malloc-ipa-8-double-free.c | 82 +- .../gcc.dg/analyzer/malloc-ipa-8-unchecked.c | 6 +- gcc/testsuite/gcc.dg/analyzer/malloc-paths-9.c | 59 +- gcc/testsuite/gcc.dg/analyzer/malloc-vs-local-1a.c | 22 +- gcc/testsuite/gcc.dg/analyzer/malloc-vs-local-2.c | 16 +- gcc/testsuite/gcc.dg/analyzer/malloc-vs-local-3.c | 7 +- gcc/testsuite/gcc.dg/analyzer/memset-1.c | 100 + gcc/testsuite/gcc.dg/analyzer/paths-3.c | 4 +- gcc/testsuite/gcc.dg/analyzer/paths-4.c | 10 +- gcc/testsuite/gcc.dg/analyzer/paths-6.c | 4 +- gcc/testsuite/gcc.dg/analyzer/paths-7.c | 3 +- .../gcc.dg/analyzer/pr93032-mztools-simplified.c | 22 + gcc/testsuite/gcc.dg/analyzer/pr93032-mztools.c | 331 + gcc/testsuite/gcc.dg/analyzer/pr93382.c | 6 +- gcc/testsuite/gcc.dg/analyzer/pr93938.c | 13 + gcc/testsuite/gcc.dg/analyzer/pr94099.c | 3 +- gcc/testsuite/gcc.dg/analyzer/pr94399.c | 13 + gcc/testsuite/gcc.dg/analyzer/pr94447.c | 2 +- gcc/testsuite/gcc.dg/analyzer/pr94458.c | 23 + gcc/testsuite/gcc.dg/analyzer/pr94640.c | 17 + gcc/testsuite/gcc.dg/analyzer/pr94688.c | 6 + gcc/testsuite/gcc.dg/analyzer/pr94689.c | 8 + gcc/testsuite/gcc.dg/analyzer/pr94839.c | 20 + gcc/testsuite/gcc.dg/analyzer/pr95026.c | 17 + gcc/testsuite/gcc.dg/analyzer/pr95240.c | 27 + gcc/testsuite/gcc.dg/analyzer/pr96598.c | 26 + gcc/testsuite/gcc.dg/analyzer/pr96611.c | 14 + gcc/testsuite/gcc.dg/analyzer/refcounting-1.c | 31 + gcc/testsuite/gcc.dg/analyzer/single-field.c | 37 + gcc/testsuite/gcc.dg/analyzer/stale-frame-1.c | 15 + gcc/testsuite/gcc.dg/analyzer/symbolic-1.c | 43 + gcc/testsuite/gcc.dg/analyzer/symbolic-2.c | 32 + gcc/testsuite/gcc.dg/analyzer/symbolic-3.c | 12 + gcc/testsuite/gcc.dg/analyzer/symbolic-4.c | 20 + gcc/testsuite/gcc.dg/analyzer/symbolic-5.c | 29 + gcc/testsuite/gcc.dg/analyzer/symbolic-6.c | 24 + gcc/testsuite/gcc.dg/analyzer/taint-1.c | 22 +- .../gcc.dg/analyzer/torture/loop-inc-ptr-1.c | 15 + .../gcc.dg/analyzer/torture/loop-inc-ptr-2.c | 17 + .../gcc.dg/analyzer/torture/loop-inc-ptr-3.c | 18 + gcc/testsuite/gcc.dg/analyzer/unknown-fns-2.c | 238 + gcc/testsuite/gcc.dg/analyzer/unknown-fns-3.c | 67 + gcc/testsuite/gcc.dg/analyzer/unknown-fns-4.c | 15 + gcc/testsuite/gcc.dg/analyzer/unknown-fns.c | 8 +- gcc/testsuite/gcc.dg/analyzer/use-after-free.c | 12 + gcc/testsuite/gcc.dg/analyzer/vla-1.c | 13 + gcc/testsuite/gcc.dg/analyzer/zlib-4.c | 10 +- gcc/testsuite/gcc.dg/ipa/pr96482-2.c | 33 + gcc/testsuite/gcc.dg/memchr.c | 94 + gcc/testsuite/gcc.dg/memcmp-2.c | 183 + gcc/testsuite/gcc.dg/memcmp-3.c | 349 + gcc/testsuite/gcc.dg/memcmp-4.c | 81 + gcc/testsuite/gcc.dg/torture/pr92088-1.c | 1 + gcc/testsuite/gcc.dg/torture/pr92088-2.c | 1 + gcc/testsuite/gcc.dg/torture/pr93124.c | 1 + gcc/testsuite/gcc.dg/torture/pr94479.c | 1 + .../gcc.dg/tree-ssa/builtin-sprintf-warn-22.c | 3 +- gcc/testsuite/gcc.target/aarch64/mgeneral-regs_1.c | 4 +- gcc/testsuite/gcc.target/nvptx/ia64-sync-5.c | 2 + gcc/testsuite/gcc.target/powerpc/pr96506.c | 66 + gcc/testsuite/gfortran.dg/analyzer/pr93993.f90 | 2 +- gcc/testsuite/gfortran.dg/coarray/pr93671.f90 | 24 + gcc/testsuite/lib/c-compat.exp | 26 +- gcc/testsuite/lib/prune.exp | 8 +- gcc/tristate.h | 2 + gcc/vec.h | 8 +- libcc1/ChangeLog | 19 + libcc1/libcp1plugin.cc | 4 +- libgcc/ChangeLog | 5 + libgcc/config/nvptx/atomic.c | 73 + libgcc/config/nvptx/t-nvptx | 3 +- libgomp/ChangeLog | 10 + .../testsuite/libgomp.c-c++-common/reduction-16.c | 53 + libgomp/testsuite/libgomp.c/loop-22.c | 235 + libgomp/testsuite/libgomp.c/loop-23.c | 235 + libgomp/testsuite/libgomp.c/loop-24.c | 424 + libstdc++-v3/ChangeLog | 12 + libstdc++-v3/acinclude.m4 | 16 +- libstdc++-v3/configure | 46 +- libstdc++-v3/testsuite/lib/libstdc++.exp | 2 +- 222 files changed, 21111 insertions(+), 10949 deletions(-) create mode 100644 gcc/analyzer/region-model-impl-calls.cc create mode 100644 gcc/analyzer/region-model-manager.cc create mode 100644 gcc/analyzer/region-model-reachability.cc create mode 100644 gcc/analyzer/region-model-reachability.h create mode 100644 gcc/analyzer/region.cc create mode 100644 gcc/analyzer/store.cc create mode 100644 gcc/analyzer/store.h create mode 100644 gcc/analyzer/svalue.cc create mode 100644 gcc/testsuite/g++.dg/analyzer/pr94011.C create mode 100644 gcc/testsuite/g++.dg/analyzer/pr94503.C create mode 100644 gcc/testsuite/g++.dg/analyzer/pr95042.C create mode 100644 gcc/testsuite/g++.dg/cpp1z/aggr-base10.C create mode 100644 gcc/testsuite/g++.dg/cpp2a/no_unique_address7.C create mode 100644 gcc/testsuite/g++.dg/cpp2a/no_unique_address7a.C create mode 100644 gcc/testsuite/gcc.dg/analyzer/CVE-2005-1689-dedupe-issue-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/abs-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/aliasing-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/aliasing-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/bzero-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/casts-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/casts-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/compound-assignment-4.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/compound-assignment-5.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/data-model-20.c delete mode 100644 gcc/testsuite/gcc.dg/analyzer/data-model-6.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/describe-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/feasibility-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/first-field-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/first-field-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/init.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/leak-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/loop-0-up-to-n-by-1-with-iter-obj.c copy gcc/testsuite/gcc.dg/analyzer/{loop.c => loop-0-up-to-n-by-1.c} (51%) copy gcc/testsuite/gcc.dg/analyzer/{loop.c => loop-n-down-to-1-by-1.c} (60%) create mode 100644 gcc/testsuite/gcc.dg/analyzer/loop-start-down-to-end-by-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/loop-start-down-to-end-by-step.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/loop-start-to-end-by-step.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/loop-start-up-to-end-by-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-in-loop.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/memset-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/pr93032-mztools-simplified.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/pr93032-mztools.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/pr93938.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/pr94399.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/pr94458.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/pr94640.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/pr94688.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/pr94689.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/pr94839.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/pr95026.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/pr95240.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/pr96598.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/pr96611.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/refcounting-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/single-field.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/stale-frame-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/symbolic-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/symbolic-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/symbolic-3.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/symbolic-4.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/symbolic-5.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/symbolic-6.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/torture/loop-inc-ptr-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/torture/loop-inc-ptr-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/torture/loop-inc-ptr-3.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/unknown-fns-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/unknown-fns-3.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/unknown-fns-4.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/use-after-free.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/vla-1.c create mode 100644 gcc/testsuite/gcc.dg/ipa/pr96482-2.c create mode 100644 gcc/testsuite/gcc.dg/memchr.c create mode 100644 gcc/testsuite/gcc.dg/memcmp-2.c create mode 100644 gcc/testsuite/gcc.dg/memcmp-3.c create mode 100644 gcc/testsuite/gcc.dg/memcmp-4.c create mode 100644 gcc/testsuite/gcc.target/nvptx/ia64-sync-5.c create mode 100644 gcc/testsuite/gcc.target/powerpc/pr96506.c create mode 100644 gcc/testsuite/gfortran.dg/coarray/pr93671.f90 create mode 100644 libgcc/config/nvptx/atomic.c create mode 100644 libgomp/testsuite/libgomp.c-c++-common/reduction-16.c create mode 100644 libgomp/testsuite/libgomp.c/loop-24.c