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_O3 in repository toolchain/ci/gcc.
from 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 adds 661ee09b8ba Daily bump.
No new revisions were added by this update.
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/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/trans-array.c | 26 +- gcc/gimple-fold.c | 8 +- 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/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/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 + libgomp/ChangeLog | 10 + libstdc++-v3/ChangeLog | 12 + libstdc++-v3/acinclude.m4 | 16 +- libstdc++-v3/configure | 46 +- libstdc++-v3/testsuite/lib/libstdc++.exp | 2 +- 207 files changed, 19945 insertions(+), 10864 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/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/powerpc/pr96506.c create mode 100644 gcc/testsuite/gfortran.dg/coarray/pr93671.f90