This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from dda96a9d942 libstdc++: Fix N3344 behavior on _Safe_iterator::_M_can_advance new 3c2827d75ea analyzer: support null operands in remove_ssa_names new 1579394c9ec analyzer: fix ICEs due to sloppy types in bounds-checking [ [...]
The 2 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/access-diagram.cc | 591 ++++++++++++--------- gcc/analyzer/access-diagram.h | 38 +- gcc/analyzer/analyzer-selftests.cc | 1 + gcc/analyzer/analyzer-selftests.h | 2 +- gcc/analyzer/analyzer.h | 11 +- gcc/analyzer/bounds-checking.cc | 148 +++++- gcc/analyzer/region-model-manager.cc | 162 ++++-- gcc/analyzer/region-model-manager.h | 7 +- gcc/analyzer/region-model.cc | 23 +- gcc/analyzer/region.cc | 67 ++- gcc/analyzer/region.h | 3 + gcc/analyzer/svalue.cc | 156 +++++- gcc/analyzer/svalue.h | 49 +- gcc/selftest.h | 12 + .../c-c++-common/analyzer/out-of-bounds-const-fn.c | 48 ++ .../analyzer/out-of-bounds-diagram-11.c | 15 +- .../analyzer/out-of-bounds-diagram-pr110928.c | 28 + .../analyzer/out-of-bounds-diagram-pr111305.c | 26 + .../analyzer/out-of-bounds-diagram-pr111441.c | 19 + 19 files changed, 1072 insertions(+), 334 deletions(-) create mode 100644 gcc/testsuite/c-c++-common/analyzer/out-of-bounds-const-fn.c create mode 100644 gcc/testsuite/c-c++-common/analyzer/out-of-bounds-diagram-pr110928.c create mode 100644 gcc/testsuite/c-c++-common/analyzer/out-of-bounds-diagram-pr111305.c create mode 100644 gcc/testsuite/c-c++-common/analyzer/out-of-bounds-diagram-pr111441.c