This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from e1b8d097297 rtlanal: Use REG_UNUSED notes in single_set only in passes [...] new 0b786d961d4 analyzer: reimplement supergraph to eliminate function_poin [...]
The 1 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference.
Summary of changes: gcc/Makefile.in | 4 + gcc/analyzer/analyzer-logging.h | 41 + gcc/analyzer/analyzer.cc | 10 + gcc/analyzer/analyzer.opt | 12 +- gcc/analyzer/bounds-checking.cc | 2 +- gcc/analyzer/call-details.h | 2 + gcc/analyzer/call-info.cc | 17 +- gcc/analyzer/call-info.h | 3 +- gcc/analyzer/call-string.cc | 124 +- gcc/analyzer/call-string.h | 64 +- gcc/analyzer/call-summary.cc | 6 +- gcc/analyzer/checker-event.cc | 285 +- gcc/analyzer/checker-event.h | 107 +- gcc/analyzer/common.h | 36 +- gcc/analyzer/constraint-manager.cc | 47 - gcc/analyzer/constraint-manager.h | 19 +- gcc/analyzer/diagnostic-manager.cc | 813 ++--- gcc/analyzer/diagnostic-manager.h | 106 +- gcc/analyzer/engine.cc | 3273 ++++++-------------- gcc/analyzer/event-loc-info.h | 3 + gcc/analyzer/exploded-graph.h | 228 +- gcc/analyzer/feasible-graph.cc | 31 - gcc/analyzer/impl-sm-context.h | 289 ++ gcc/analyzer/infinite-loop.cc | 150 +- gcc/analyzer/infinite-recursion.cc | 39 +- gcc/analyzer/kf-lang-cp.cc | 57 +- gcc/analyzer/ops.cc | 2391 ++++++++++++++ gcc/analyzer/ops.h | 1007 ++++++ gcc/analyzer/pending-diagnostic.cc | 15 +- gcc/analyzer/pending-diagnostic.h | 15 +- gcc/analyzer/program-point.cc | 627 +--- gcc/analyzer/program-point.h | 221 +- gcc/analyzer/program-state.cc | 174 +- gcc/analyzer/program-state.h | 16 - gcc/analyzer/region-model-manager.cc | 46 +- gcc/analyzer/region-model-manager.h | 2 +- gcc/analyzer/region-model.cc | 726 +---- gcc/analyzer/region-model.h | 123 +- gcc/analyzer/region.cc | 9 +- gcc/analyzer/sm-fd.cc | 321 +- gcc/analyzer/sm-file.cc | 33 +- gcc/analyzer/sm-malloc.cc | 274 +- gcc/analyzer/sm-pattern-test.cc | 11 +- gcc/analyzer/sm-sensitive.cc | 16 +- gcc/analyzer/sm-signal.cc | 8 +- gcc/analyzer/sm-taint.cc | 80 +- gcc/analyzer/sm.cc | 10 +- gcc/analyzer/sm.h | 64 +- gcc/analyzer/state-purge.cc | 820 ++--- gcc/analyzer/state-purge.h | 127 +- gcc/analyzer/store.cc | 22 +- gcc/analyzer/supergraph-fixup-locations.cc | 123 + gcc/analyzer/supergraph-manipulation.h | 73 + gcc/analyzer/supergraph-simplify.cc | 317 ++ gcc/analyzer/supergraph-sorting.cc | 266 ++ gcc/analyzer/supergraph.cc | 1704 ++++------ gcc/analyzer/supergraph.h | 687 +--- gcc/analyzer/svalue.cc | 31 +- gcc/analyzer/svalue.h | 22 +- gcc/analyzer/varargs.cc | 68 +- gcc/digraph.h | 52 +- gcc/doc/analyzer.texi | 116 +- gcc/doc/invoke.texi | 29 +- gcc/gdbhooks.py | 2 +- gcc/system.h | 3 + .../analyzer/allocation-size-multiline-1.c | 10 +- .../c-c++-common/analyzer/bzip2-arg-parse-1.c | 5 +- .../analyzer/coreutils-cksum-pr108664.c | 4 +- .../c-c++-common/analyzer/coreutils-group_number.c | 43 + .../c-c++-common/analyzer/data-model-20.c | 4 +- .../deref-before-check-qemu-qtest_rsp_args.c | 14 +- gcc/testsuite/c-c++-common/analyzer/dot-output.c | 8 +- .../c-c++-common/analyzer/fd-symbolic-socket.c | 9 +- gcc/testsuite/c-c++-common/analyzer/fibonacci.c | 2 +- .../analyzer/flex-with-call-summaries.c | 2 +- .../analyzer/flex-without-call-summaries.c | 6 +- .../c-c++-common/analyzer/infinite-recursion-5.c | 3 + .../analyzer/infinite-recursion-pr108524-2.c | 2 +- .../c-c++-common/analyzer/invalid-shift-1.c | 4 +- .../c-c++-common/analyzer/ipa-callbacks-1.c | 39 + gcc/testsuite/c-c++-common/analyzer/loop-4.c | 6 +- .../c-c++-common/analyzer/loop-n-down-to-1-by-1.c | 4 +- gcc/testsuite/c-c++-common/analyzer/loop.c | 2 +- .../analyzer/out-of-bounds-coreutils.c | 2 +- gcc/testsuite/c-c++-common/analyzer/paths-4.c | 10 +- gcc/testsuite/c-c++-common/analyzer/pr94362-1.c | 3 - gcc/testsuite/c-c++-common/analyzer/pr94851-2.c | 2 +- .../c-c++-common/analyzer/pr96650-1-notrans.c | 1 + gcc/testsuite/c-c++-common/analyzer/pr98628.c | 2 +- gcc/testsuite/c-c++-common/analyzer/pr99774-1.c | 2 +- gcc/testsuite/c-c++-common/analyzer/pragma-2.c | 2 +- gcc/testsuite/c-c++-common/analyzer/realloc-1.c | 2 +- gcc/testsuite/c-c++-common/analyzer/sock-1.c | 1 + gcc/testsuite/c-c++-common/analyzer/sprintf-2.c | 3 +- .../c-c++-common/analyzer/sprintf-concat.c | 4 +- .../c-c++-common/analyzer/stdarg-sentinel-1.c | 2 - gcc/testsuite/c-c++-common/analyzer/strncpy-1.c | 4 +- gcc/testsuite/c-c++-common/analyzer/strstr-1.c | 4 +- gcc/testsuite/g++.dg/analyzer/analyzer.exp | 2 +- ...nalyzer-show-events-in-system-headers-default.C | 2 - .../fanalyzer-show-events-in-system-headers-no.C | 2 - .../fanalyzer-show-events-in-system-headers.C | 2 +- gcc/testsuite/g++.dg/analyzer/pr94028.C | 4 +- gcc/testsuite/g++.dg/analyzer/pr96641.C | 2 +- gcc/testsuite/gcc.dg/analyzer/CWE-131-examples.c | 2 +- gcc/testsuite/gcc.dg/analyzer/abs-1.c | 2 +- gcc/testsuite/gcc.dg/analyzer/analyzer-decls.h | 60 +- gcc/testsuite/gcc.dg/analyzer/analyzer.exp | 2 +- gcc/testsuite/gcc.dg/analyzer/boxed-malloc-1.c | 8 +- gcc/testsuite/gcc.dg/analyzer/call-summaries-2.c | 2 +- .../gcc.dg/analyzer/combined-conditionals-1.c | 2 +- .../gcc.dg/analyzer/compound-assignment-2.c | 1 + .../gcc.dg/analyzer/compound-assignment-3.c | 1 + gcc/testsuite/gcc.dg/analyzer/conditionals-3.c | 2 +- gcc/testsuite/gcc.dg/analyzer/data-model-1.c | 4 +- gcc/testsuite/gcc.dg/analyzer/data-model-15.c | 2 +- gcc/testsuite/gcc.dg/analyzer/data-model-17.c | 2 +- gcc/testsuite/gcc.dg/analyzer/data-model-20a.c | 2 +- gcc/testsuite/gcc.dg/analyzer/data-model-7.c | 2 +- .../gcc.dg/analyzer/doom-d_main-IdentifyVersion.c | 42 +- .../gcc.dg/analyzer/doom-s_sound-pr108867.c | 2 +- gcc/testsuite/gcc.dg/analyzer/edges-1.c | 5 +- gcc/testsuite/gcc.dg/analyzer/error-1.c | 8 +- gcc/testsuite/gcc.dg/analyzer/explode-1.c | 6 +- gcc/testsuite/gcc.dg/analyzer/explode-2.c | 2 +- gcc/testsuite/gcc.dg/analyzer/explode-3.c | 6 +- gcc/testsuite/gcc.dg/analyzer/fd-datagram-socket.c | 9 +- .../fd-glibc-byte-stream-connection-server.c | 2 +- gcc/testsuite/gcc.dg/analyzer/fd-stream-socket.c | 9 +- gcc/testsuite/gcc.dg/analyzer/malloc-1.c | 6 +- .../gcc.dg/analyzer/malloc-many-paths-2.c | 11 +- gcc/testsuite/gcc.dg/analyzer/malloc-paths-10.c | 2 +- gcc/testsuite/gcc.dg/analyzer/malloc-vs-local-4.c | 2 +- .../gcc.dg/analyzer/memset-CVE-2017-18549-1.c | 4 +- .../gcc.dg/analyzer/null-deref-pr102671-1.c | 2 +- .../gcc.dg/analyzer/null-deref-pr102671-2.c | 2 +- gcc/testsuite/gcc.dg/analyzer/pr101143.c | 2 +- gcc/testsuite/gcc.dg/analyzer/pr101837.c | 4 +- gcc/testsuite/gcc.dg/analyzer/pr101983-not-main.c | 2 +- gcc/testsuite/gcc.dg/analyzer/pr103892.c | 2 +- gcc/testsuite/gcc.dg/analyzer/pr104224.c | 17 +- gcc/testsuite/gcc.dg/analyzer/pr104434-nonconst.c | 4 +- .../gcc.dg/analyzer/pr93032-mztools-signed-char.c | 2 +- .../analyzer/pr93032-mztools-unsigned-char.c | 2 +- .../analyzer/pr93355-localealias-feasibility-2.c | 2 +- .../gcc.dg/analyzer/pr93355-localealias.c | 6 +- gcc/testsuite/gcc.dg/analyzer/pr94579.c | 2 +- gcc/testsuite/gcc.dg/analyzer/pr98599-a.c | 4 +- gcc/testsuite/gcc.dg/analyzer/pr99771-1.c | 32 +- gcc/testsuite/gcc.dg/analyzer/pr99774-2.c | 8 +- gcc/testsuite/gcc.dg/analyzer/sensitive-1.c | 12 +- .../gcc.dg/analyzer/state-diagram-1-sarif.py | 2 +- gcc/testsuite/gcc.dg/analyzer/stdarg-1.c | 2 +- gcc/testsuite/gcc.dg/analyzer/strcmp-1.c | 8 +- gcc/testsuite/gcc.dg/analyzer/strcpy-1.c | 2 +- .../gcc.dg/analyzer/switch-enum-taint-1.c | 2 +- gcc/testsuite/gcc.dg/analyzer/switch.c | 4 +- gcc/testsuite/gcc.dg/analyzer/taint-assert.c | 2 +- .../gcc.dg/analyzer/taint-write-offset-1.c | 2 +- .../gcc.dg/analyzer/torture/analyzer-torture.exp | 2 +- .../gcc.dg/analyzer/torture/boxed-ptr-1.c | 2 +- .../analyzer/torture/fold-ptr-arith-pr105784.c | 2 +- .../gcc.dg/analyzer/torture/loop-inc-ptr-1.c | 2 +- gcc/testsuite/gcc.dg/analyzer/torture/pr102225.c | 3 +- gcc/testsuite/gcc.dg/analyzer/torture/pr93379.c | 2 + gcc/testsuite/gcc.dg/analyzer/torture/stdarg-4.c | 1 + gcc/testsuite/gcc.dg/analyzer/untracked-1.c | 2 +- gcc/testsuite/gcc.dg/analyzer/use-after-free.c | 2 +- gcc/testsuite/gcc.dg/analyzer/zlib-3.c | 6 +- .../gcc.dg/plugin/analyzer_cpython_plugin.cc | 96 +- gcc/testsuite/gcc.dg/plugin/analyzer_gil_plugin.cc | 25 +- .../gcc.dg/plugin/infoleak-CVE-2011-1078-1.c | 4 + .../gcc.dg/plugin/infoleak-CVE-2011-1078-2.c | 4 +- .../gcc.dg/plugin/infoleak-CVE-2017-18549-1.c | 8 +- gcc/testsuite/gdc.dg/analyzer/analyzer.exp | 2 +- gcc/testsuite/gfortran.dg/analyzer/analyzer.exp | 2 +- .../gfortran.dg/analyzer/uninit-pr63311.f90 | 1 + 177 files changed, 8497 insertions(+), 8652 deletions(-) create mode 100644 gcc/analyzer/impl-sm-context.h create mode 100644 gcc/analyzer/ops.cc create mode 100644 gcc/analyzer/ops.h create mode 100644 gcc/analyzer/supergraph-fixup-locations.cc create mode 100644 gcc/analyzer/supergraph-manipulation.h create mode 100644 gcc/analyzer/supergraph-simplify.cc create mode 100644 gcc/analyzer/supergraph-sorting.cc create mode 100644 gcc/testsuite/c-c++-common/analyzer/coreutils-group_number.c create mode 100644 gcc/testsuite/c-c++-common/analyzer/ipa-callbacks-1.c