This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from 6dd96e24ea3 analyzer: show program point in -Wanalyzer-too-complex new b9b5fc0c217 analyzer: add program_point::get_next new b28491dc2d7 analyzer: bulk merger/processing of runs of nodes at CFG jo [...] new d2c4d5199cf analyzer: show SCC ids in .dot dumps new fd111c419d1 analyzer: fix state explosions due to SCC bug
The 4 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/analyzer/engine.cc | 259 ++++++++++++++++++--- gcc/analyzer/exploded-graph.h | 13 ++ gcc/analyzer/program-point.cc | 29 +++ gcc/analyzer/program-point.h | 2 + gcc/testsuite/gcc.dg/analyzer/bzip2-arg-parse-1.c | 95 ++++++++ .../analyzer/loop-0-up-to-n-by-1-with-iter-obj.c | 3 +- .../gcc.dg/analyzer/loop-n-down-to-1-by-1.c | 4 +- gcc/testsuite/gcc.dg/analyzer/malloc-vs-local-1a.c | 20 +- gcc/testsuite/gcc.dg/analyzer/pr94851-1.c | 3 +- gcc/testsuite/gcc.dg/analyzer/pr96653.c | 3 +- 10 files changed, 387 insertions(+), 44 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/analyzer/bzip2-arg-parse-1.c