This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from c4f8e568aa6 libstdc++: Add a fallback 128-bit integer class type and use it new 3f958348e78 analyzer: gracefully handle impossible paths in shortest-paths.h new 5e33e5b042a analyzer: support reverse direction in shortest-paths.h new 3857edb5d32 analyzer: new implementation of shortest feasible path [PR96374]
The 3 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.opt | 8 + gcc/analyzer/diagnostic-manager.cc | 490 +++++++++++++++++++-- gcc/analyzer/diagnostic-manager.h | 6 +- gcc/analyzer/engine.cc | 99 +++-- gcc/analyzer/exploded-graph.h | 8 + gcc/analyzer/feasible-graph.cc | 235 ++++++++++ gcc/analyzer/feasible-graph.h | 213 +++++++++ gcc/analyzer/trimmed-graph.cc | 172 ++++++++ gcc/analyzer/trimmed-graph.h | 122 +++++ gcc/digraph.cc | 134 +++++- gcc/doc/analyzer.texi | 56 ++- gcc/doc/invoke.texi | 8 + gcc/shortest-paths.h | 138 ++++-- gcc/testsuite/gcc.dg/analyzer/dot-output.c | 2 +- gcc/testsuite/gcc.dg/analyzer/feasibility-1.c | 16 +- .../analyzer/pr93355-localealias-feasibility-2.c | 4 +- .../analyzer/pr93355-localealias-feasibility-3.c | 8 +- .../analyzer/pr93355-localealias-feasibility.c | 2 - .../gcc.dg/analyzer/pr93355-localealias.c | 4 +- gcc/testsuite/gcc.dg/analyzer/unknown-fns-4.c | 2 +- 21 files changed, 1569 insertions(+), 162 deletions(-) create mode 100644 gcc/analyzer/feasible-graph.cc create mode 100644 gcc/analyzer/feasible-graph.h create mode 100644 gcc/analyzer/trimmed-graph.cc create mode 100644 gcc/analyzer/trimmed-graph.h