[gcc/devel/modula-2] Merge branch 'master' into devel/modula-2.

[Gaius Mulley <gaius@gcc.gnu.org>]

https://gcc.gnu.org/g:ecba4ac8214bc95cd64d07f8950697e8b143c30b

commit ecba4ac8214bc95cd64d07f8950697e8b143c30b
Merge: 627be3b3ac5 475ed8fdc78
Author: Gaius Mulley <gaius.mulley@southwales.ac.uk>
Date:   Sun Aug 14 19:17:27 2022 +0100

    Merge branch 'master' into devel/modula-2.

Diff:

 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(-)