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

tcwg-buildslave pushed a change to branch linaro-local/ci/tcwg_kernel/gnu-master-arm-stable-allmodconfig in repository toolchain/ci/gcc.

from 03e87724864 Typo. adds 780e19f87c8 The mentioned auto-generated file is no more part of the adds 336da03cc3a Fix dejagnu pruning of constexpr context messages. adds 80de0002429 PR c++/92009 - ICE with punning of typeid. adds 8982b5535c2 PR c++/92594 - ICE with inherited trivial default ctor. adds 7ca50de02cf hash-table.h: support non-zero empty values in empty_slow (v2) adds 6bd65ad89c2 PR target/93254 - -msse generates sse2 instructions adds a5a3c2dcf73 [PR90916] ICE in retrieve specialization adds 08c8c973c08 PR c++/92590 - wrong handling of inherited default ctor. adds 757bf1dff5e Initial commit of analyzer adds 288c5324bf6 Compare TREE_ADDRESSABLE and TYPE_MODE when ODR checking types. adds ddd792fa533 [PR90916] Use TI accessor. adds f474fbd5e3c analyzer: better logging for dedupe_winners::add adds fbbc4c24fd7 i386: Fix wrong-code x86 issue with avx512{f,vl} fma PR93009 adds 000c7a93bdf Remove bogus initial lines from test. adds 14f9d7b9a70 analyzer: fix dedupe issue seen with CVE-2005-1689 adds ef7827b0bd7 analyzer: purge state for unknown function calls adds a6b5f19c370 analyzer: add function-set.cc/h adds 4804c5fe965 analyzer: introduce a set of known async-signal-unsafe functions adds d8998708ca3 Daily bump. adds 623c6fddd60 tree-optimization: Fix tree dse of strncpy PR93249 adds 81a68b9e377 tree-optimization: Fix tree dse of __*_chk PR93262 adds 697251b7a1b analyzer: add known stdio functions to sm-file.cc (PR analy [...] adds 03dc3f26231 tree-diagnostic-path.cc: properly handle ad-hoc wrappers of [...] adds 8397af8ed0d analyzer: fix tests for UNKNOWN_LOCATION adds 718930c0c8f analyzer: ensure .dot output is valid for an empty BB adds 94946989e82 analyzer: delete checker_event::clone adds e2a538b1c31 analyzer: cleanups to checker_path adds 7fb3669edb4 analyzer: fix global-sm-state issue affecting sm-signal adds 32077b693df analyzer: fix ICE on METHOD_TYPE (PR 93212) adds ab7c7b46c35 invoke.texi: update -fdiagnostics-show-cwe for analyzer adds e2346a33b05 Fix setting of DECL_CONTEXT in pushdecl (PR c/93072). adds 6c577667610 Optimize alias subset recording adds 8817bd75802 gcc/testsuite/ChangeLog: adds e61074228d1 contrib: Don't add push rules for personal and vendor spaces. adds 6ff7efb7375 Handle output of older git in gcc-descr and gcc-undescr aliases. adds 84a3effa1a2 Do not call streamer_read_hwi in a function call. adds affb7b66aa6 Add *.md diff=md. adds 86c3a7d891f Fix type mismatch in SLPed constructors adds 711421af001 PR tree-optimization/93247 - ICE in get_load_store_type adds a52d93219c6 Bump gcc/BASE-VER to 10.0.1 now that we are in stage4. new 37e27de4313 middle-end/93273 - fix sinking clobbers across backedges

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 | 15 + contrib/ChangeLog | 17 + contrib/gcc-git-customization.sh | 25 +- contrib/gcc_update | 1 - contrib/git-fetch-vendor.sh | 2 - gcc/BASE-VER | 2 +- gcc/ChangeLog | 201 + gcc/DATESTAMP | 2 +- gcc/Makefile.in | 36 +- gcc/alias.c | 11 +- gcc/analyzer/ChangeLog | 200 + gcc/analyzer/analysis-plan.cc | 130 + gcc/analyzer/analysis-plan.h | 56 + gcc/analyzer/analyzer-logging.cc | 224 + gcc/analyzer/analyzer-logging.h | 260 + 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/analyzer/engine.h | 26 + gcc/analyzer/exploded-graph.h | 831 ++ gcc/analyzer/function-set.cc | 191 + gcc/analyzer/function-set.h | 46 + 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/common.opt | 4 + gcc/config.in | 6 + gcc/config/i386/i386.md | 2 +- gcc/config/i386/sse.md | 32 +- gcc/configure | 25 +- gcc/configure.ac | 14 +- gcc/cp/ChangeLog | 43 + gcc/cp/class.c | 5 +- gcc/cp/constexpr.c | 11 +- gcc/cp/cp-gimplify.c | 2 + gcc/cp/cp-tree.h | 2 + gcc/cp/decl2.c | 1 + gcc/cp/name-lookup.c | 1 - gcc/cp/pt.c | 14 +- gcc/cp/rtti.c | 1 + gcc/digraph.cc | 188 + gcc/digraph.h | 246 + gcc/doc/analyzer.texi | 513 ++ gcc/doc/gccint.texi | 2 + gcc/doc/invoke.texi | 438 +- gcc/doc/sourcebuild.texi | 6 + gcc/gcov.c | 2 + gcc/gdbinit.in | 10 + 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-devirt.c | 22 + gcc/ipa-profile.c | 5 +- gcc/ipa-prop.c | 2 + gcc/ordered-hash-map-tests.cc | 247 + gcc/ordered-hash-map.h | 188 + gcc/passes.def | 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/testsuite/ChangeLog | 247 + gcc/testsuite/g++.dg/concepts/inherit-ctor3.C | 4 +- .../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/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/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 + gcc/testsuite/gcc.dg/analyzer/analyzer.exp | 49 + 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 + gcc/testsuite/gcc.dg/analyzer/signal-4b.c | 90 + 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-42.c | 50 + gcc/testsuite/gcc.dg/inline-43.c | 50 + gcc/testsuite/gcc.dg/vect/pr93247-1.c | 49 + gcc/testsuite/gcc.dg/vect/pr93247-2.c | 12 + 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/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-pass.h | 1 + gcc/tree-ssa-dse.c | 141 +- 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 + 299 files changed, 42805 insertions(+), 112 deletions(-) create mode 100644 gcc/analyzer/ChangeLog create mode 100644 gcc/analyzer/analysis-plan.cc create mode 100644 gcc/analyzer/analysis-plan.h create mode 100644 gcc/analyzer/analyzer-logging.cc create mode 100644 gcc/analyzer/analyzer-logging.h 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 create mode 100644 gcc/analyzer/engine.h create mode 100644 gcc/analyzer/exploded-graph.h create mode 100644 gcc/analyzer/function-set.cc create mode 100644 gcc/analyzer/function-set.h 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/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/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/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 create mode 100644 gcc/testsuite/gcc.dg/analyzer/analyzer.exp 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 create mode 100644 gcc/testsuite/gcc.dg/analyzer/signal-4b.c 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 create mode 100644 gcc/testsuite/gcc.dg/inline-42.c create mode 100644 gcc/testsuite/gcc.dg/inline-43.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