This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch releases/gcc-12 in repository gcc.
from 4c1c38ba953 RISC-V: Remove duplicate backslashes from `stack_protect_se [...] new 1321183a135 analyzer: add .fpath.txt dumps to -fdump-analyzer-feasibility new 05530fcea07 analyzer: handle repeated accesses after init of unknown si [...] new 1d38fa564ed analyzer: fix memory leaks new 6fd39b06042 json: fix escaping of '' new 4eac9fa087f analyzer: add more uninit test coverage new 9fa11419ef5 analyzer: show saved diagnostics as nodes in .eg.dot dumps new 09cb9c88ef8 analyzer: fix uninit false positive with -ftrivial-auto-var [...] new 71a4f739c21 analyzer: fix false positives from -Wanalyzer-tainted-divis [...] new 7455e982f09 analyzer: fix stray get_element decls
The 9 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/checker-path.cc | 8 +- gcc/analyzer/diagnostic-manager.cc | 92 ++++++++++++++++++ gcc/analyzer/diagnostic-manager.h | 3 + gcc/analyzer/engine.cc | 59 +++++++++--- gcc/analyzer/exploded-graph.h | 2 + gcc/analyzer/feasible-graph.cc | 65 +++++++++++++ gcc/analyzer/feasible-graph.h | 6 ++ gcc/analyzer/program-point.cc | 4 + gcc/analyzer/program-point.h | 1 - gcc/analyzer/region-model-manager.cc | 14 ++- gcc/analyzer/region-model.cc | 69 +++++++++++--- gcc/analyzer/region.h | 8 -- gcc/analyzer/sm-taint.cc | 51 +++++++--- gcc/analyzer/sm.cc | 12 +++ gcc/analyzer/sm.h | 2 + gcc/analyzer/store.cc | 12 +++ gcc/doc/invoke.texi | 4 +- gcc/json.cc | 2 +- gcc/testsuite/gcc.dg/analyzer/symbolic-12.c | 106 +++++++++++++++++++++ gcc/testsuite/gcc.dg/analyzer/taint-divisor-1.c | 66 +++++++++++++ .../gcc.dg/analyzer/torture/uninit-pr106204.c | 13 +++ gcc/testsuite/gcc.dg/analyzer/uninit-1.c | 19 ++++ gcc/testsuite/gcc.dg/analyzer/uninit-pr106204.c | 17 ++++ 23 files changed, 580 insertions(+), 55 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/analyzer/symbolic-12.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/torture/uninit-pr106204.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/uninit-pr106204.c