[Tcwg-commits] [gcc] branch devel/c++-coroutines updated (4b5a74ba717 -> db85d487a8c)

This is an automated email from the git hooks/post-receive script.

unknown user pushed a change to branch devel/c++-coroutines in repository gcc.

from 4b5a74ba717 Merge master r11-2690. 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] new db85d487a8c Merge master r11-2704.

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 | 101 + gcc/DATESTAMP | 2 +- gcc/Makefile.in | 8 +- gcc/analyzer/ChangeLog | 1407 +++ 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 | 8931 +++++--------------- gcc/analyzer/region-model.h | 3140 ++++--- gcc/analyzer/region.cc | 1064 +++ 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 | 2008 +++++ gcc/analyzer/store.h | 613 ++ gcc/analyzer/svalue.cc | 1004 +++ 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 | 25 + gcc/cp/call.c | 50 +- gcc/cp/coroutines.cc | 8 +- gcc/cp/cp-objcp-common.c | 2 +- gcc/cp/cp-tree.h | 16 +- gcc/cp/decl.c | 6 +- gcc/cp/init.c | 3 +- gcc/cp/name-lookup.c | 159 +- gcc/cp/name-lookup.h | 53 +- gcc/cp/parser.c | 38 +- gcc/cp/pt.c | 28 +- gcc/cp/rtti.c | 2 +- gcc/cp/semantics.c | 6 +- gcc/cp/typeck2.c | 12 +- gcc/doc/analyzer.texi | 110 +- gcc/doc/invoke.texi | 14 + gcc/fortran/ChangeLog | 11 + gcc/opts-common.c | 39 +- gcc/system.h | 1 + gcc/testsuite/ChangeLog | 238 + 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 + .../testsuite/gcc.dg/analyzer/pr93032-mztools.c | 54 +- 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/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/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/lib/c-compat.exp | 26 +- gcc/testsuite/lib/prune.exp | 8 +- gcc/tristate.h | 2 + gcc/vec.h | 8 +- libcc1/ChangeLog | 4 + libcc1/libcp1plugin.cc | 5 +- libgcc/ChangeLog | 5 + libgomp/ChangeLog | 10 + libstdc++-v3/ChangeLog | 7 + libstdc++-v3/testsuite/lib/libstdc++.exp | 2 +- 191 files changed, 18266 insertions(+), 10780 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 copy zlib/contrib/minizip/mztools.c => gcc/testsuite/gcc.dg/analyzer/pr93032-mztoo [...] 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/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.target/powerpc/pr96506.c