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 08cf089f717b Merge master r10-5925. adds 7c82dd6c02d4 PR c++/33799 - destroy return value if local cleanup throws. adds 69dc042f91c7 PR c++/80265 - constexpr __builtin_mem*. adds 8472660b98a3 IPA: Avoid segfault in devirtualization_time_bonus (PR 93223) adds b60563a8bf18 contrib: Add in the default push rule which was overridden adds 11b81575c51c Revert "contrib: Add in the default push rule which was ov [...] adds ef4395e506a0 MAINTAINERS: Update my email address. adds 20571289868b testsuite: remove unused dg-line directive adds 97e2f333087d Replace update_web_docs_libstdcxx_svn with update_web_docs [...] adds 38c69700bb2a Add initial octeontx2 support. adds 64378144aabf Daily bump. adds f1ba88b1b20c Missed function specialization + partial devirtualization adds 8ca4435f431f PR c++/92582 - ICE with member template as requirement. adds edabbec31e3b PR c++/92746 - ICE with noexcept of function concept check. adds b38e86ddb7a9 Fix typo and avoid possible memory leak in average_num_loop_insns adds 6b8df3e421b5 PR middle-end/93246 - missing alias subsets adds 03e87724864a Typo. adds 780e19f87c8a The mentioned auto-generated file is no more part of the adds 336da03cc3a1 Fix dejagnu pruning of constexpr context messages. adds 80de0002429c PR c++/92009 - ICE with punning of typeid. adds 8982b5535c27 PR c++/92594 - ICE with inherited trivial default ctor. adds 7ca50de02cf1 hash-table.h: support non-zero empty values in empty_slow (v2) adds 6bd65ad89c20 PR target/93254 - -msse generates sse2 instructions adds a5a3c2dcf73a [PR90916] ICE in retrieve specialization adds 08c8c973c082 PR c++/92590 - wrong handling of inherited default ctor. adds 757bf1dff5e8 Initial commit of analyzer adds 288c5324bf6e Compare TREE_ADDRESSABLE and TYPE_MODE when ODR checking types. adds ddd792fa5334 [PR90916] Use TI accessor. adds f474fbd5e3cc analyzer: better logging for dedupe_winners::add adds fbbc4c24fd7b i386: Fix wrong-code x86 issue with avx512{f,vl} fma PR93009 adds 000c7a93bdf4 Remove bogus initial lines from test. adds 14f9d7b9a708 analyzer: fix dedupe issue seen with CVE-2005-1689 adds ef7827b0bd7c analyzer: purge state for unknown function calls adds a6b5f19c3700 analyzer: add function-set.cc/h adds 4804c5fe965e analyzer: introduce a set of known async-signal-unsafe functions adds d8998708ca31 Daily bump. adds 623c6fddd605 tree-optimization: Fix tree dse of strncpy PR93249 adds 81a68b9e3774 tree-optimization: Fix tree dse of __*_chk PR93262 adds 697251b7a1bb analyzer: add known stdio functions to sm-file.cc (PR anal [...] adds 03dc3f26231c tree-diagnostic-path.cc: properly handle ad-hoc wrappers o [...] adds 8397af8ed0db analyzer: fix tests for UNKNOWN_LOCATION adds 718930c0c8f8 analyzer: ensure .dot output is valid for an empty BB adds 94946989e82c analyzer: delete checker_event::clone adds e2a538b1c31a analyzer: cleanups to checker_path adds 7fb3669edb4a analyzer: fix global-sm-state issue affecting sm-signal adds 32077b693df8 analyzer: fix ICE on METHOD_TYPE (PR 93212) adds ab7c7b46c35e invoke.texi: update -fdiagnostics-show-cwe for analyzer adds e2346a33b058 Fix setting of DECL_CONTEXT in pushdecl (PR c/93072). adds 6c5776676108 Optimize alias subset recording adds 8817bd75802d gcc/testsuite/ChangeLog: adds e61074228d1f contrib: Don't add push rules for personal and vendor spaces. adds 6ff7efb7375c Handle output of older git in gcc-descr and gcc-undescr aliases. adds 84a3effa1a22 Do not call streamer_read_hwi in a function call. adds affb7b66aa6e Add *.md diff=md. adds 86c3a7d891f9 Fix type mismatch in SLPed constructors adds 711421af001b PR tree-optimization/93247 - ICE in get_load_store_type adds a52d93219c63 Bump gcc/BASE-VER to 10.0.1 now that we are in stage4. adds 37e27de43133 middle-end/93273 - fix sinking clobbers across backedges adds 1918e70df1f5 [PR90916] Fix typo adds ea1966e88ec3 Remove invalid SSE2 ISA requirements in *movsf_internal. adds 2a0f6c61b4db libstdc++: Fix weakly_incrementable to allow __int128 (PR 93267) adds bc071d3a951a Fix ctz issues (PR93231) adds 7192b1ec1248 PR c++/92871 - bad code with xvalue and GNU ?: extension. adds 596334fa0400 PR c++/93257 - consteval void function. adds 299ddc612136 Revert "PR c++/33799 - destroy return value if local clean [...] adds 83fe2b921830 Fix "PR c++/91073 if constexpr no longer works directly wi [...] adds 49e9a9996ab3 analyzer: fix comment adds 5b6681201ae5 analyzer: add note about -fdump-ipa-analyzer to internal docs adds 03647d2e2617 Daily bump. new db358dc237a3 Merge master r10-5993.
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: .gitattributes | 4 + ChangeLog | 19 + MAINTAINERS | 2 +- contrib/ChangeLog | 32 + contrib/gcc-git-customization.sh | 25 +- contrib/gcc_update | 1 - contrib/git-fetch-vendor.sh | 2 - gcc/BASE-VER | 2 +- gcc/ChangeLog | 303 + gcc/DATESTAMP | 2 +- gcc/Makefile.in | 36 +- gcc/alias.c | 45 +- gcc/analyzer/ChangeLog | 204 + gcc/analyzer/analysis-plan.cc | 130 + gcc/analyzer/analysis-plan.h | 56 + .../jit-logging.c => analyzer/analyzer-logging.cc} | 103 +- .../jit-logging.h => analyzer/analyzer-logging.h} | 151 +- gcc/analyzer/analyzer-pass.cc | 102 + gcc/analyzer/analyzer-selftests.cc | 64 + gcc/analyzer/analyzer-selftests.h | 47 + gcc/analyzer/analyzer.cc | 151 + gcc/analyzer/analyzer.h | 124 + gcc/analyzer/analyzer.opt | 181 + gcc/analyzer/call-string.cc | 233 + gcc/analyzer/call-string.h | 76 + gcc/analyzer/checker-path.cc | 957 +++ gcc/analyzer/checker-path.h | 522 ++ gcc/analyzer/constraint-manager.cc | 2260 ++++++ gcc/analyzer/constraint-manager.h | 246 + gcc/analyzer/diagnostic-manager.cc | 1277 ++++ gcc/analyzer/diagnostic-manager.h | 124 + gcc/analyzer/engine.cc | 3634 +++++++++ gcc/{jit/jit-result.h => analyzer/engine.h} | 37 +- gcc/analyzer/exploded-graph.h | 831 ++ gcc/analyzer/function-set.cc | 191 + gcc/{jit/jit-result.h => analyzer/function-set.h} | 41 +- gcc/analyzer/pending-diagnostic.cc | 79 + gcc/analyzer/pending-diagnostic.h | 270 + gcc/analyzer/program-point.cc | 554 ++ gcc/analyzer/program-point.h | 310 + gcc/analyzer/program-state.cc | 1399 ++++ gcc/analyzer/program-state.h | 365 + gcc/analyzer/region-model.cc | 7978 ++++++++++++++++++++ gcc/analyzer/region-model.h | 2069 +++++ gcc/analyzer/sm-file.cc | 437 ++ gcc/analyzer/sm-malloc.cc | 797 ++ gcc/analyzer/sm-malloc.dot | 89 + gcc/analyzer/sm-pattern-test.cc | 152 + gcc/analyzer/sm-sensitive.cc | 248 + gcc/analyzer/sm-signal.cc | 371 + gcc/analyzer/sm-taint.cc | 328 + gcc/analyzer/sm.cc | 122 + gcc/analyzer/sm.h | 178 + gcc/analyzer/state-purge.cc | 534 ++ gcc/analyzer/state-purge.h | 162 + gcc/analyzer/supergraph.cc | 979 +++ gcc/analyzer/supergraph.h | 554 ++ gcc/attribs.c | 2 + gcc/c/ChangeLog | 6 + gcc/c/c-decl.c | 2 +- gcc/cfgloopanal.c | 5 +- gcc/cgraph.c | 117 +- gcc/cgraph.h | 51 +- gcc/cgraphclones.c | 1 + gcc/common.opt | 4 + gcc/config.in | 6 + gcc/config/aarch64/aarch64-cores.def | 10 + gcc/config/aarch64/aarch64-tune.md | 2 +- gcc/config/i386/i386.md | 2 +- gcc/config/i386/sse.md | 32 +- gcc/configure | 25 +- gcc/configure.ac | 14 +- gcc/cp/ChangeLog | 84 + gcc/cp/call.c | 24 +- gcc/cp/class.c | 5 +- gcc/cp/constexpr.c | 84 +- gcc/cp/constraint.cc | 9 +- gcc/cp/cp-gimplify.c | 2 + gcc/cp/cp-tree.h | 12 +- gcc/cp/decl2.c | 1 + gcc/cp/except.c | 2 + gcc/cp/name-lookup.c | 1 - gcc/cp/parser.c | 26 +- gcc/cp/pt.c | 53 +- gcc/cp/rtti.c | 1 + gcc/digraph.cc | 188 + gcc/digraph.h | 246 + gcc/doc/analyzer.texi | 515 ++ gcc/doc/gccint.texi | 2 + gcc/doc/invoke.texi | 444 +- gcc/doc/sourcebuild.texi | 6 + gcc/gcov.c | 2 + gcc/gdbinit.in | 10 + gcc/gimplify.c | 8 + gcc/graphite.c | 1 + gcc/graphviz.cc | 100 + gcc/graphviz.h | 53 + gcc/hash-map-tests.c | 22 + gcc/hash-map-traits.h | 2 + gcc/hash-map.h | 1 + gcc/hash-set-tests.c | 2 + gcc/hash-table.h | 10 +- gcc/hash-traits.h | 3 + gcc/ipa-cp.c | 2 +- gcc/ipa-devirt.c | 22 + gcc/ipa-fnsummary.c | 22 +- gcc/ipa-profile.c | 354 +- gcc/ipa-prop.c | 2 + gcc/ipa-ref.h | 3 + gcc/ipa-utils.c | 173 +- gcc/lto-cgraph.c | 30 +- gcc/ordered-hash-map-tests.cc | 247 + gcc/ordered-hash-map.h | 188 + gcc/passes.def | 1 + gcc/predict.c | 1 - gcc/profile.c | 2 + gcc/sanopt.c | 4 + gcc/selftest-run-tests.c | 7 + gcc/selftest.h | 3 + gcc/shortest-paths.h | 145 + gcc/symtab.c | 5 + gcc/testsuite/ChangeLog | 274 + gcc/testsuite/g++.dg/concepts/fn-concept3.C | 6 + gcc/testsuite/g++.dg/concepts/inherit-ctor3.C | 4 +- gcc/testsuite/g++.dg/concepts/pr91073-1.C | 37 + gcc/testsuite/g++.dg/concepts/pr91073-2.C | 19 + .../g++.dg/cpp0x/constexpr-reinterpret2.C | 21 + gcc/testsuite/g++.dg/cpp0x/inh-ctor34.C | 13 + gcc/testsuite/g++.dg/cpp0x/inh-ctor35.C | 14 + gcc/testsuite/g++.dg/cpp0x/inh-ctor5.C | 4 +- gcc/testsuite/g++.dg/cpp1z/inh-ctor22.C | 4 +- .../g++.dg/cpp2a/concepts-inherit-ctor2.C | 4 +- gcc/testsuite/g++.dg/cpp2a/concepts-memtmpl3.C | 12 + gcc/testsuite/g++.dg/cpp2a/consteval-void1.C | 10 + gcc/testsuite/g++.dg/eh/return1.C | 40 + gcc/testsuite/g++.dg/ext/constexpr-builtin1.C | 37 + gcc/testsuite/g++.dg/ext/temp-extend1.C | 2 +- gcc/testsuite/g++.dg/ipa/pr93223.C | 62 + gcc/testsuite/g++.dg/lto/odr-8_0.C | 7 + gcc/testsuite/g++.dg/lto/odr-8_1.C | 9 + gcc/testsuite/g++.dg/rtti/typeid13.C | 11 + gcc/testsuite/g++.dg/template/crash7.C | 4 +- gcc/testsuite/g++.dg/template/pr90916.C | 8 + gcc/testsuite/g++.dg/torture/pr93246.C | 31 + gcc/testsuite/g++.dg/torture/pr93273.C | 12 + gcc/testsuite/g++.old-deja/g++.pt/error2.C | 2 +- .../{memcpy-chk-lib.c => pr93262-chk-lib.c} | 0 .../gcc.c-torture/execute/builtins/pr93262-chk.c | 55 + .../builtins/{pr23484-chk.x => pr93262-chk.x} | 0 gcc/testsuite/gcc.c-torture/execute/pr93249.c | 40 + gcc/testsuite/gcc.dg/Wstringop-overflow-17.c | 4 +- .../gcc.dg/analyzer/CVE-2005-1689-dedupe-issue.c | 26 + .../gcc.dg/analyzer/CVE-2005-1689-minimal.c | 30 + gcc/testsuite/gcc.dg/analyzer/abort.c | 72 + gcc/testsuite/gcc.dg/analyzer/alloca-leak.c | 8 + gcc/testsuite/gcc.dg/analyzer/analyzer-decls.h | 36 + .../gcc.dg/analyzer/analyzer-verbosity-0.c | 163 + .../gcc.dg/analyzer/analyzer-verbosity-1.c | 191 + .../gcc.dg/analyzer/analyzer-verbosity-2.c | 222 + .../epiphany.exp => gcc.dg/analyzer/analyzer.exp} | 26 +- gcc/testsuite/gcc.dg/analyzer/attribute-nonnull.c | 81 + gcc/testsuite/gcc.dg/analyzer/call-summaries-1.c | 14 + gcc/testsuite/gcc.dg/analyzer/conditionals-2.c | 45 + gcc/testsuite/gcc.dg/analyzer/conditionals-3.c | 47 + .../gcc.dg/analyzer/conditionals-notrans.c | 159 + gcc/testsuite/gcc.dg/analyzer/conditionals-trans.c | 144 + gcc/testsuite/gcc.dg/analyzer/data-model-1.c | 1083 +++ gcc/testsuite/gcc.dg/analyzer/data-model-10.c | 17 + gcc/testsuite/gcc.dg/analyzer/data-model-11.c | 6 + gcc/testsuite/gcc.dg/analyzer/data-model-12.c | 13 + gcc/testsuite/gcc.dg/analyzer/data-model-13.c | 21 + gcc/testsuite/gcc.dg/analyzer/data-model-14.c | 24 + gcc/testsuite/gcc.dg/analyzer/data-model-15.c | 34 + gcc/testsuite/gcc.dg/analyzer/data-model-16.c | 52 + gcc/testsuite/gcc.dg/analyzer/data-model-17.c | 20 + gcc/testsuite/gcc.dg/analyzer/data-model-18.c | 22 + gcc/testsuite/gcc.dg/analyzer/data-model-19.c | 31 + gcc/testsuite/gcc.dg/analyzer/data-model-2.c | 13 + gcc/testsuite/gcc.dg/analyzer/data-model-3.c | 15 + gcc/testsuite/gcc.dg/analyzer/data-model-4.c | 16 + gcc/testsuite/gcc.dg/analyzer/data-model-5.c | 100 + gcc/testsuite/gcc.dg/analyzer/data-model-5b.c | 90 + gcc/testsuite/gcc.dg/analyzer/data-model-5c.c | 78 + gcc/testsuite/gcc.dg/analyzer/data-model-5d.c | 64 + gcc/testsuite/gcc.dg/analyzer/data-model-6.c | 14 + gcc/testsuite/gcc.dg/analyzer/data-model-7.c | 20 + gcc/testsuite/gcc.dg/analyzer/data-model-8.c | 26 + gcc/testsuite/gcc.dg/analyzer/data-model-9.c | 33 + gcc/testsuite/gcc.dg/analyzer/data-model-path-1.c | 13 + gcc/testsuite/gcc.dg/analyzer/disabling.c | 10 + gcc/testsuite/gcc.dg/analyzer/dot-output.c | 49 + .../gcc.dg/analyzer/double-free-lto-1-a.c | 16 + .../gcc.dg/analyzer/double-free-lto-1-b.c | 8 + gcc/testsuite/gcc.dg/analyzer/double-free-lto-1.h | 1 + gcc/testsuite/gcc.dg/analyzer/equivalence.c | 31 + gcc/testsuite/gcc.dg/analyzer/explode-1.c | 60 + gcc/testsuite/gcc.dg/analyzer/explode-2.c | 50 + gcc/testsuite/gcc.dg/analyzer/factorial.c | 7 + gcc/testsuite/gcc.dg/analyzer/fibonacci.c | 9 + gcc/testsuite/gcc.dg/analyzer/fields.c | 41 + gcc/testsuite/gcc.dg/analyzer/file-1.c | 49 + gcc/testsuite/gcc.dg/analyzer/file-2.c | 18 + gcc/testsuite/gcc.dg/analyzer/file-paths-1.c | 25 + gcc/testsuite/gcc.dg/analyzer/file-pr58237.c | 72 + gcc/testsuite/gcc.dg/analyzer/function-ptr-1.c | 8 + gcc/testsuite/gcc.dg/analyzer/function-ptr-2.c | 44 + gcc/testsuite/gcc.dg/analyzer/function-ptr-3.c | 17 + gcc/testsuite/gcc.dg/analyzer/gzio-2.c | 11 + gcc/testsuite/gcc.dg/analyzer/gzio-3.c | 31 + gcc/testsuite/gcc.dg/analyzer/gzio-3a.c | 27 + gcc/testsuite/gcc.dg/analyzer/gzio.c | 17 + gcc/testsuite/gcc.dg/analyzer/infinite-recursion.c | 55 + gcc/testsuite/gcc.dg/analyzer/loop-2.c | 37 + gcc/testsuite/gcc.dg/analyzer/loop-2a.c | 40 + gcc/testsuite/gcc.dg/analyzer/loop-3.c | 17 + gcc/testsuite/gcc.dg/analyzer/loop-4.c | 43 + gcc/testsuite/gcc.dg/analyzer/loop.c | 35 + gcc/testsuite/gcc.dg/analyzer/malloc-1.c | 585 ++ gcc/testsuite/gcc.dg/analyzer/malloc-2.c | 23 + gcc/testsuite/gcc.dg/analyzer/malloc-3.c | 8 + gcc/testsuite/gcc.dg/analyzer/malloc-callbacks.c | 84 + gcc/testsuite/gcc.dg/analyzer/malloc-dce.c | 12 + gcc/testsuite/gcc.dg/analyzer/malloc-dedupe-1.c | 46 + gcc/testsuite/gcc.dg/analyzer/malloc-ipa-1.c | 24 + gcc/testsuite/gcc.dg/analyzer/malloc-ipa-10.c | 32 + gcc/testsuite/gcc.dg/analyzer/malloc-ipa-11.c | 96 + gcc/testsuite/gcc.dg/analyzer/malloc-ipa-12.c | 7 + gcc/testsuite/gcc.dg/analyzer/malloc-ipa-13.c | 30 + gcc/testsuite/gcc.dg/analyzer/malloc-ipa-2.c | 34 + gcc/testsuite/gcc.dg/analyzer/malloc-ipa-3.c | 23 + gcc/testsuite/gcc.dg/analyzer/malloc-ipa-4.c | 13 + gcc/testsuite/gcc.dg/analyzer/malloc-ipa-5.c | 13 + gcc/testsuite/gcc.dg/analyzer/malloc-ipa-6.c | 22 + gcc/testsuite/gcc.dg/analyzer/malloc-ipa-7.c | 29 + .../gcc.dg/analyzer/malloc-ipa-8-double-free.c | 173 + gcc/testsuite/gcc.dg/analyzer/malloc-ipa-8-lto-a.c | 12 + gcc/testsuite/gcc.dg/analyzer/malloc-ipa-8-lto-b.c | 18 + gcc/testsuite/gcc.dg/analyzer/malloc-ipa-8-lto-c.c | 17 + gcc/testsuite/gcc.dg/analyzer/malloc-ipa-8-lto.h | 12 + .../gcc.dg/analyzer/malloc-ipa-8-unchecked.c | 67 + gcc/testsuite/gcc.dg/analyzer/malloc-ipa-9.c | 18 + .../gcc.dg/analyzer/malloc-macro-inline-events.c | 46 + .../gcc.dg/analyzer/malloc-macro-separate-events.c | 15 + gcc/testsuite/gcc.dg/analyzer/malloc-macro.h | 2 + .../gcc.dg/analyzer/malloc-many-paths-1.c | 14 + .../gcc.dg/analyzer/malloc-many-paths-2.c | 30 + .../gcc.dg/analyzer/malloc-many-paths-3.c | 36 + gcc/testsuite/gcc.dg/analyzer/malloc-paths-1.c | 15 + gcc/testsuite/gcc.dg/analyzer/malloc-paths-10.c | 20 + gcc/testsuite/gcc.dg/analyzer/malloc-paths-2.c | 13 + gcc/testsuite/gcc.dg/analyzer/malloc-paths-3.c | 14 + gcc/testsuite/gcc.dg/analyzer/malloc-paths-4.c | 20 + gcc/testsuite/gcc.dg/analyzer/malloc-paths-5.c | 43 + gcc/testsuite/gcc.dg/analyzer/malloc-paths-6.c | 11 + gcc/testsuite/gcc.dg/analyzer/malloc-paths-7.c | 21 + gcc/testsuite/gcc.dg/analyzer/malloc-paths-8.c | 54 + gcc/testsuite/gcc.dg/analyzer/malloc-paths-9.c | 299 + gcc/testsuite/gcc.dg/analyzer/malloc-vs-local-1a.c | 181 + gcc/testsuite/gcc.dg/analyzer/malloc-vs-local-1b.c | 176 + gcc/testsuite/gcc.dg/analyzer/malloc-vs-local-2.c | 179 + gcc/testsuite/gcc.dg/analyzer/malloc-vs-local-3.c | 66 + gcc/testsuite/gcc.dg/analyzer/malloc-vs-local-4.c | 40 + gcc/testsuite/gcc.dg/analyzer/operations.c | 44 + gcc/testsuite/gcc.dg/analyzer/params-2.c | 17 + gcc/testsuite/gcc.dg/analyzer/params.c | 34 + gcc/testsuite/gcc.dg/analyzer/paths-1.c | 18 + gcc/testsuite/gcc.dg/analyzer/paths-1a.c | 18 + gcc/testsuite/gcc.dg/analyzer/paths-2.c | 27 + gcc/testsuite/gcc.dg/analyzer/paths-3.c | 49 + gcc/testsuite/gcc.dg/analyzer/paths-4.c | 51 + gcc/testsuite/gcc.dg/analyzer/paths-5.c | 12 + gcc/testsuite/gcc.dg/analyzer/paths-6.c | 119 + gcc/testsuite/gcc.dg/analyzer/paths-7.c | 59 + gcc/testsuite/gcc.dg/analyzer/pattern-test-1.c | 28 + gcc/testsuite/gcc.dg/analyzer/pattern-test-2.c | 29 + gcc/testsuite/gcc.dg/analyzer/pointer-merging.c | 16 + gcc/testsuite/gcc.dg/analyzer/pr61861.c | 2 + gcc/testsuite/gcc.dg/analyzer/pragma-1.c | 26 + gcc/testsuite/gcc.dg/analyzer/scope-1.c | 23 + gcc/testsuite/gcc.dg/analyzer/sensitive-1.c | 55 + gcc/testsuite/gcc.dg/analyzer/setjmp-1.c | 1 + gcc/testsuite/gcc.dg/analyzer/setjmp-2.c | 99 + gcc/testsuite/gcc.dg/analyzer/setjmp-3.c | 108 + gcc/testsuite/gcc.dg/analyzer/setjmp-4.c | 109 + gcc/testsuite/gcc.dg/analyzer/setjmp-5.c | 67 + gcc/testsuite/gcc.dg/analyzer/setjmp-6.c | 31 + gcc/testsuite/gcc.dg/analyzer/setjmp-7.c | 36 + gcc/testsuite/gcc.dg/analyzer/setjmp-7a.c | 111 + gcc/testsuite/gcc.dg/analyzer/setjmp-8.c | 109 + gcc/testsuite/gcc.dg/analyzer/setjmp-9.c | 111 + gcc/testsuite/gcc.dg/analyzer/signal-1.c | 31 + gcc/testsuite/gcc.dg/analyzer/signal-2.c | 34 + gcc/testsuite/gcc.dg/analyzer/signal-3.c | 23 + gcc/testsuite/gcc.dg/analyzer/signal-4a.c | 75 + .../signal-4b.c} | 42 +- gcc/testsuite/gcc.dg/analyzer/signal-5.c | 21 + gcc/testsuite/gcc.dg/analyzer/signal-6.c | 20 + gcc/testsuite/gcc.dg/analyzer/strcmp-1.c | 35 + gcc/testsuite/gcc.dg/analyzer/switch.c | 30 + gcc/testsuite/gcc.dg/analyzer/taint-1.c | 128 + gcc/testsuite/gcc.dg/analyzer/unknown-fns.c | 115 + gcc/testsuite/gcc.dg/analyzer/zlib-1.c | 69 + gcc/testsuite/gcc.dg/analyzer/zlib-2.c | 51 + gcc/testsuite/gcc.dg/analyzer/zlib-3.c | 214 + gcc/testsuite/gcc.dg/analyzer/zlib-4.c | 20 + gcc/testsuite/gcc.dg/analyzer/zlib-5.c | 51 + gcc/testsuite/gcc.dg/analyzer/zlib-6.c | 47 + gcc/testsuite/gcc.dg/{inline-40.c => inline-42.c} | 13 +- gcc/testsuite/gcc.dg/{inline-41.c => inline-43.c} | 13 +- .../gcc.dg/plugin/diagnostic-test-paths-2.c | 2 +- .../{gcc.target/aarch64 => gcc.dg}/pr90838.c | 15 +- gcc/testsuite/gcc.dg/pr93231.c | 35 + .../tree-prof/crossmodule-indir-call-topn-1.c | 33 + .../tree-prof/crossmodule-indir-call-topn-1a.c | 22 + .../tree-prof/crossmodule-indir-call-topn-2.c | 40 + .../gcc.dg/tree-prof/indir-call-prof-topn.c | 37 + gcc/testsuite/gcc.dg/vect/pr93247-1.c | 49 + gcc/testsuite/gcc.dg/vect/pr93247-2.c | 12 + gcc/testsuite/gcc.target/aarch64/pr90838.c | 2 +- gcc/testsuite/gcc.target/i386/avx512vl-pr93009.c | 38 + gcc/testsuite/lib/gcc-defs.exp | 21 + gcc/testsuite/lib/prune.exp | 2 +- gcc/testsuite/lib/scandump.exp | 1 + gcc/testsuite/lib/scanwpaipa.exp | 23 + gcc/testsuite/lib/target-supports-dg.exp | 10 + gcc/testsuite/lib/target-supports.exp | 21 + gcc/timevar.def | 11 + gcc/tree-diagnostic-path.cc | 2 +- gcc/tree-eh.c | 4 +- gcc/tree-hasher.h | 1 + gcc/tree-inline.c | 32 +- gcc/tree-pass.h | 1 + gcc/tree-ssa-dse.c | 141 +- gcc/tree-ssa-forwprop.c | 27 +- gcc/tree-ssa-sccvn.c | 1 + gcc/tree-vect-loop.c | 3 +- gcc/tree-vect-slp.c | 5 + gcc/tree-vectorizer.h | 2 + gcc/tristate.cc | 221 + gcc/tristate.h | 82 + gcc/value-prof.c | 87 +- gcc/value-prof.h | 1 - libgcc/ChangeLog | 4 + libgcc/config/avr/lib1funcs.S | 4 - libstdc++-v3/ChangeLog | 19 + libstdc++-v3/include/bits/iterator_concepts.h | 24 +- libstdc++-v3/include/bits/range_access.h | 15 +- libstdc++-v3/include/std/ranges | 16 +- .../deprecated-2a.cc => std/ranges/iota/93267.cc} | 20 +- .../testsuite/std/ranges/{ => iota}/iota_view.cc | 0 maintainer-scripts/ChangeLog | 6 + maintainer-scripts/crontab | 2 +- ...libstdcxx_svn => update_web_docs_libstdcxx_git} | 13 +- 353 files changed, 43944 insertions(+), 539 deletions(-) create mode 100644 gcc/analyzer/ChangeLog create mode 100644 gcc/analyzer/analysis-plan.cc create mode 100644 gcc/analyzer/analysis-plan.h copy gcc/{jit/jit-logging.c => analyzer/analyzer-logging.cc} (63%) copy gcc/{jit/jit-logging.h => analyzer/analyzer-logging.h} (51%) create mode 100644 gcc/analyzer/analyzer-pass.cc create mode 100644 gcc/analyzer/analyzer-selftests.cc create mode 100644 gcc/analyzer/analyzer-selftests.h create mode 100644 gcc/analyzer/analyzer.cc create mode 100644 gcc/analyzer/analyzer.h create mode 100644 gcc/analyzer/analyzer.opt create mode 100644 gcc/analyzer/call-string.cc create mode 100644 gcc/analyzer/call-string.h create mode 100644 gcc/analyzer/checker-path.cc create mode 100644 gcc/analyzer/checker-path.h create mode 100644 gcc/analyzer/constraint-manager.cc create mode 100644 gcc/analyzer/constraint-manager.h create mode 100644 gcc/analyzer/diagnostic-manager.cc create mode 100644 gcc/analyzer/diagnostic-manager.h create mode 100644 gcc/analyzer/engine.cc copy gcc/{jit/jit-result.h => analyzer/engine.h} (54%) create mode 100644 gcc/analyzer/exploded-graph.h create mode 100644 gcc/analyzer/function-set.cc copy gcc/{jit/jit-result.h => analyzer/function-set.h} (53%) create mode 100644 gcc/analyzer/pending-diagnostic.cc create mode 100644 gcc/analyzer/pending-diagnostic.h create mode 100644 gcc/analyzer/program-point.cc create mode 100644 gcc/analyzer/program-point.h create mode 100644 gcc/analyzer/program-state.cc create mode 100644 gcc/analyzer/program-state.h create mode 100644 gcc/analyzer/region-model.cc create mode 100644 gcc/analyzer/region-model.h create mode 100644 gcc/analyzer/sm-file.cc create mode 100644 gcc/analyzer/sm-malloc.cc create mode 100644 gcc/analyzer/sm-malloc.dot create mode 100644 gcc/analyzer/sm-pattern-test.cc create mode 100644 gcc/analyzer/sm-sensitive.cc create mode 100644 gcc/analyzer/sm-signal.cc create mode 100644 gcc/analyzer/sm-taint.cc create mode 100644 gcc/analyzer/sm.cc create mode 100644 gcc/analyzer/sm.h create mode 100644 gcc/analyzer/state-purge.cc create mode 100644 gcc/analyzer/state-purge.h create mode 100644 gcc/analyzer/supergraph.cc create mode 100644 gcc/analyzer/supergraph.h create mode 100644 gcc/digraph.cc create mode 100644 gcc/digraph.h create mode 100644 gcc/doc/analyzer.texi create mode 100644 gcc/graphviz.cc create mode 100644 gcc/graphviz.h create mode 100644 gcc/ordered-hash-map-tests.cc create mode 100644 gcc/ordered-hash-map.h create mode 100644 gcc/shortest-paths.h create mode 100644 gcc/testsuite/g++.dg/concepts/fn-concept3.C create mode 100644 gcc/testsuite/g++.dg/concepts/pr91073-1.C create mode 100644 gcc/testsuite/g++.dg/concepts/pr91073-2.C create mode 100644 gcc/testsuite/g++.dg/cpp0x/constexpr-reinterpret2.C create mode 100644 gcc/testsuite/g++.dg/cpp0x/inh-ctor34.C create mode 100644 gcc/testsuite/g++.dg/cpp0x/inh-ctor35.C create mode 100644 gcc/testsuite/g++.dg/cpp2a/concepts-memtmpl3.C create mode 100644 gcc/testsuite/g++.dg/cpp2a/consteval-void1.C create mode 100644 gcc/testsuite/g++.dg/eh/return1.C create mode 100644 gcc/testsuite/g++.dg/ext/constexpr-builtin1.C create mode 100644 gcc/testsuite/g++.dg/ipa/pr93223.C create mode 100644 gcc/testsuite/g++.dg/lto/odr-8_0.C create mode 100644 gcc/testsuite/g++.dg/lto/odr-8_1.C create mode 100644 gcc/testsuite/g++.dg/rtti/typeid13.C create mode 100644 gcc/testsuite/g++.dg/template/pr90916.C create mode 100644 gcc/testsuite/g++.dg/torture/pr93246.C create mode 100644 gcc/testsuite/g++.dg/torture/pr93273.C copy gcc/testsuite/gcc.c-torture/execute/builtins/{memcpy-chk-lib.c => pr93262-chk [...] create mode 100644 gcc/testsuite/gcc.c-torture/execute/builtins/pr93262-chk.c copy gcc/testsuite/gcc.c-torture/execute/builtins/{pr23484-chk.x => pr93262-chk.x} (100%) create mode 100644 gcc/testsuite/gcc.c-torture/execute/pr93249.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/CVE-2005-1689-dedupe-issue.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/CVE-2005-1689-minimal.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/abort.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/alloca-leak.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/analyzer-decls.h create mode 100644 gcc/testsuite/gcc.dg/analyzer/analyzer-verbosity-0.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/analyzer-verbosity-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/analyzer-verbosity-2.c copy gcc/testsuite/{gcc.target/epiphany/epiphany.exp => gcc.dg/analyzer/analyzer.e [...] create mode 100644 gcc/testsuite/gcc.dg/analyzer/attribute-nonnull.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/call-summaries-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/conditionals-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/conditionals-3.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/conditionals-notrans.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/conditionals-trans.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/data-model-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/data-model-10.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/data-model-11.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/data-model-12.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/data-model-13.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/data-model-14.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/data-model-15.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/data-model-16.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/data-model-17.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/data-model-18.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/data-model-19.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/data-model-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/data-model-3.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/data-model-4.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/data-model-5.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/data-model-5b.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/data-model-5c.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/data-model-5d.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/data-model-6.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/data-model-7.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/data-model-8.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/data-model-9.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/data-model-path-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/disabling.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/dot-output.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/double-free-lto-1-a.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/double-free-lto-1-b.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/double-free-lto-1.h create mode 100644 gcc/testsuite/gcc.dg/analyzer/equivalence.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/explode-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/explode-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/factorial.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/fibonacci.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/fields.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/file-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/file-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/file-paths-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/file-pr58237.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/function-ptr-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/function-ptr-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/function-ptr-3.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/gzio-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/gzio-3.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/gzio-3a.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/gzio.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/infinite-recursion.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/loop-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/loop-2a.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/loop-3.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/loop-4.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/loop.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-3.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-callbacks.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-dce.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-dedupe-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-ipa-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-ipa-10.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-ipa-11.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-ipa-12.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-ipa-13.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-ipa-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-ipa-3.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-ipa-4.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-ipa-5.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-ipa-6.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-ipa-7.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-ipa-8-double-free.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-ipa-8-lto-a.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-ipa-8-lto-b.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-ipa-8-lto-c.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-ipa-8-lto.h create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-ipa-8-unchecked.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-ipa-9.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-macro-inline-events.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-macro-separate-events.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-macro.h create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-many-paths-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-many-paths-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-many-paths-3.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-paths-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-paths-10.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-paths-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-paths-3.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-paths-4.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-paths-5.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-paths-6.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-paths-7.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-paths-8.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-paths-9.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-vs-local-1a.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-vs-local-1b.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-vs-local-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-vs-local-3.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-vs-local-4.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/operations.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/params-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/params.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/paths-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/paths-1a.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/paths-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/paths-3.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/paths-4.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/paths-5.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/paths-6.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/paths-7.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/pattern-test-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/pattern-test-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/pointer-merging.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/pr61861.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/pragma-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/scope-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/sensitive-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/setjmp-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/setjmp-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/setjmp-3.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/setjmp-4.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/setjmp-5.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/setjmp-6.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/setjmp-7.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/setjmp-7a.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/setjmp-8.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/setjmp-9.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/signal-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/signal-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/signal-3.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/signal-4a.c copy gcc/testsuite/gcc.dg/{plugin/diagnostic-test-paths-4.c => analyzer/signal-4b. [...] create mode 100644 gcc/testsuite/gcc.dg/analyzer/signal-5.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/signal-6.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/strcmp-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/switch.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/taint-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/unknown-fns.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/zlib-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/zlib-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/zlib-3.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/zlib-4.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/zlib-5.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/zlib-6.c copy gcc/testsuite/gcc.dg/{inline-40.c => inline-42.c} (67%) copy gcc/testsuite/gcc.dg/{inline-41.c => inline-43.c} (67%) copy gcc/testsuite/{gcc.target/aarch64 => gcc.dg}/pr90838.c (75%) create mode 100644 gcc/testsuite/gcc.dg/pr93231.c create mode 100644 gcc/testsuite/gcc.dg/tree-prof/crossmodule-indir-call-topn-1.c create mode 100644 gcc/testsuite/gcc.dg/tree-prof/crossmodule-indir-call-topn-1a.c create mode 100644 gcc/testsuite/gcc.dg/tree-prof/crossmodule-indir-call-topn-2.c create mode 100644 gcc/testsuite/gcc.dg/tree-prof/indir-call-prof-topn.c create mode 100644 gcc/testsuite/gcc.dg/vect/pr93247-1.c create mode 100644 gcc/testsuite/gcc.dg/vect/pr93247-2.c create mode 100644 gcc/testsuite/gcc.target/i386/avx512vl-pr93009.c create mode 100644 gcc/tristate.cc create mode 100644 gcc/tristate.h copy libstdc++-v3/testsuite/{20_util/is_pod/deprecated-2a.cc => std/ranges/iota/93 [...] rename libstdc++-v3/testsuite/std/ranges/{ => iota}/iota_view.cc (100%) rename maintainer-scripts/{update_web_docs_libstdcxx_svn => update_web_docs_libstd [...]