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-aarch64-lts-allnoconfig in repository toolchain/ci/gcc.
from edabbec31e3 PR c++/92746 - ICE with noexcept of function concept check. adds b38e86ddb7a Fix typo and avoid possible memory leak in average_num_loop_insns adds 6b8df3e421b PR middle-end/93246 - missing alias subsets adds 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).
No new revisions were added by this update.
Summary of changes: ChangeLog | 10 + contrib/gcc_update | 1 - gcc/ChangeLog | 172 + gcc/DATESTAMP | 2 +- gcc/Makefile.in | 36 +- gcc/alias.c | 34 +- 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/cfgloopanal.c | 5 +- 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-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 | 231 + 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/pr93246.C | 31 + 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.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.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-hasher.h | 1 + gcc/tree-pass.h | 1 + gcc/tree-ssa-dse.c | 141 +- gcc/tree-ssa-sccvn.c | 1 + gcc/tree-vect-slp.c | 1 + gcc/tree-vectorizer.h | 2 + gcc/tristate.cc | 221 + gcc/tristate.h | 82 + libgcc/ChangeLog | 4 + libgcc/config/avr/lib1funcs.S | 4 - 291 files changed, 42688 insertions(+), 103 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/pr93246.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.target/i386/avx512vl-pr93009.c create mode 100644 gcc/tristate.cc create mode 100644 gcc/tristate.h