This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch devel/modula-2 in repository gcc.
from 627be3b3ac5 Cleanup revert lang_register_spec_functions in all spec files. adds 2b75b3b6a4d analyzer: consider that realloc could shrink the buffer [PR106539] adds 7e3b45befdb analyzer: out-of-bounds checker [PR106000] adds f4ff20d464f sve: Fix fcmuo combine patterns [PR106524] adds 4cc0d3ebaee tree-optimization/106593 - fix ICE with backward threading adds 83e9bc792ef phiopt: Remove unnecessary checks from spaceship_replacemen [...] adds 88ee126ee04 Improve comment for tree_niter_desc.{control,bound,cmp} adds 0f2c7ccd14a Fix invalid devirtualization when combining final keyword a [...] adds b748d46ab15 [Committed] arm: Document +no options for Cortex-M55 CPU. adds 475ed8fdc78 Daily bump. new ecba4ac8214 Merge branch 'master' into devel/modula-2.
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/ChangeLog | 44 +++ gcc/DATESTAMP | 2 +- gcc/analyzer/ChangeLog | 39 ++ gcc/analyzer/analyzer.opt | 4 + gcc/analyzer/region-model-impl-calls.cc | 48 ++- gcc/analyzer/region-model.cc | 422 +++++++++++++++++++++ gcc/analyzer/region-model.h | 3 + gcc/analyzer/region.cc | 32 ++ gcc/analyzer/region.h | 4 + gcc/analyzer/store.cc | 67 ++++ gcc/analyzer/store.h | 9 + gcc/config/aarch64/aarch64-sve.md | 4 +- gcc/doc/invoke.texi | 30 +- gcc/ipa-devirt.cc | 37 +- gcc/testsuite/ChangeLog | 44 +++ .../g++.dg/analyzer/out-of-bounds-placement-new.C | 19 + gcc/testsuite/g++.dg/analyzer/pr100244.C | 5 +- gcc/testsuite/g++.dg/opt/pr94589-2.C | 2 +- gcc/testsuite/g++.dg/tree-ssa/pr101839.C | 53 +++ gcc/testsuite/gcc.dg/analyzer/allocation-size-3.c | 2 + gcc/testsuite/gcc.dg/analyzer/memcpy-2.c | 2 +- gcc/testsuite/gcc.dg/analyzer/out-of-bounds-1.c | 120 ++++++ gcc/testsuite/gcc.dg/analyzer/out-of-bounds-2.c | 83 ++++ gcc/testsuite/gcc.dg/analyzer/out-of-bounds-3.c | 91 +++++ .../gcc.dg/analyzer/out-of-bounds-container_of.c | 51 +++ .../gcc.dg/analyzer/out-of-bounds-coreutils.c | 29 ++ gcc/testsuite/gcc.dg/analyzer/out-of-bounds-curl.c | 41 ++ gcc/testsuite/gcc.dg/analyzer/pr101962.c | 6 +- gcc/testsuite/gcc.dg/analyzer/pr106539.c | 15 + gcc/testsuite/gcc.dg/analyzer/pr96764.c | 2 + gcc/testsuite/gcc.dg/analyzer/pr97029.c | 4 +- gcc/testsuite/gcc.dg/analyzer/realloc-5.c | 45 +++ gcc/testsuite/gcc.dg/analyzer/test-setjmp.h | 4 +- gcc/testsuite/gcc.dg/analyzer/zlib-3.c | 4 +- gcc/testsuite/gcc.target/aarch64/sve/pr106524.c | 11 + gcc/tree-ssa-loop.h | 10 +- gcc/tree-ssa-phiopt.cc | 4 - gcc/tree-ssa-threadbackward.cc | 6 +- 38 files changed, 1361 insertions(+), 37 deletions(-) create mode 100644 gcc/testsuite/g++.dg/analyzer/out-of-bounds-placement-new.C create mode 100644 gcc/testsuite/g++.dg/tree-ssa/pr101839.C create mode 100644 gcc/testsuite/gcc.dg/analyzer/out-of-bounds-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/out-of-bounds-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/out-of-bounds-3.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/out-of-bounds-container_of.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/out-of-bounds-coreutils.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/out-of-bounds-curl.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/pr106539.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/realloc-5.c create mode 100644 gcc/testsuite/gcc.target/aarch64/sve/pr106524.c