[gcc r13-2036] Daily bump.

[GCC Administrator <gccadmin@gcc.gnu.org>]

https://gcc.gnu.org/g:475ed8fdc78cb9221a191e90868b268e8429f72e

commit r13-2036-g475ed8fdc78cb9221a191e90868b268e8429f72e
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date:   Sat Aug 13 00:16:54 2022 +0000

    Daily bump.

Diff:
---
 gcc/ChangeLog           | 44 ++++++++++++++++++++++++++++++++++++++++++++
 gcc/DATESTAMP           |  2 +-
 gcc/analyzer/ChangeLog  | 39 +++++++++++++++++++++++++++++++++++++++
 gcc/testsuite/ChangeLog | 44 ++++++++++++++++++++++++++++++++++++++++++++
 4 files changed, 128 insertions(+), 1 deletion(-)

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index cb74455c2b6..dad7ce90c72 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,47 @@
+2022-08-12  Srinath Parvathaneni  <srinath.parvathaneni@arm.com>
+
+	* doc/invoke.texi (Arm Options): Document -mcpu=cortex-m55 options.
+
+2022-08-12  Jan Hubicka  <hubicka@ucw.cz>
+
+	PR middle-end/106057
+	* ipa-devirt.cc (type_or_derived_type_possibly_instantiated_p): New
+	function.
+	(possible_polymorphic_call_targets): Use it.
+
+2022-08-12  Andrew Carlotti  <andrew.carlotti@arm.com>
+
+	* tree-ssa-loop.h: Improve comment
+
+2022-08-12  Jakub Jelinek  <jakub@redhat.com>
+
+	PR tree-optimization/106506
+	* tree-ssa-phiopt.cc (spaceship_replacement): Don't punt for
+	is_cast or orig_use_lhs cases if phi_bb has 3 predecessors.
+
+2022-08-12  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/106593
+	* tree-ssa-threadbackward.cc (back_threader::find_paths):
+	If the imports from the conditional do not satisfy
+	gimple_range_ssa_p don't try to thread anything.
+
+2022-08-12  Tamar Christina  <tamar.christina@arm.com>
+
+	PR target/106524
+	* config/aarch64/aarch64-sve.md (*fcmuo<mode>_nor_combine,
+	*fcmuo<mode>_bic_combine): Don't accept comparisons against zero.
+
+2022-08-12  Tim Lange  <mail@tim-lange.me>
+
+	PR analyzer/106000
+	* doc/invoke.texi: Add Wanalyzer-out-of-bounds.
+
+2022-08-12  Andrew Pinski  <apinski@marvell.com>
+
+	* config/aarch64/aarch64.md: Remove comment
+	about MD_INCLUDES as it is out of date and not needed.
+
 2022-08-11  Richard Biener  <rguenther@suse.de>
 
 	* gimple-range-path.cc (path_range_query::compute_imports):
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 1c5d419104a..763830cfe05 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20220812
+20220813
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index f44c5eb563f..2f03c556cae 100644
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,42 @@
+2022-08-12  Tim Lange  <mail@tim-lange.me>
+
+	PR analyzer/106000
+	* analyzer.opt: Add Wanalyzer-out-of-bounds.
+	* region-model.cc (class out_of_bounds): Diagnostics base class
+	for all out-of-bounds diagnostics.
+	(class past_the_end): Base class derived from out_of_bounds for
+	the buffer_overflow and buffer_overread diagnostics.
+	(class buffer_overflow): Buffer overflow diagnostics.
+	(class buffer_overread): Buffer overread diagnostics.
+	(class buffer_underflow): Buffer underflow diagnostics.
+	(class buffer_underread): Buffer overread diagnostics.
+	(region_model::check_region_bounds): New function to check region
+	bounds for out-of-bounds accesses.
+	(region_model::check_region_access):
+	Add call to check_region_bounds.
+	(region_model::get_representative_tree): New function that accepts
+	a region instead of an svalue.
+	* region-model.h (class region_model):
+	Add region_model::check_region_bounds.
+	* region.cc (region::symbolic_p): New predicate.
+	(offset_region::get_byte_size_sval): Only return the remaining
+	byte size on offset_regions.
+	* region.h: Add region::symbolic_p.
+	* store.cc (byte_range::intersects_p):
+	Add new function equivalent to bit_range::intersects_p.
+	(byte_range::exceeds_p): New function.
+	(byte_range::falls_short_of_p): New function.
+	* store.h (struct byte_range): Add byte_range::intersects_p,
+	byte_range::exceeds_p and byte_range::falls_short_of_p.
+
+2022-08-12  Tim Lange  <mail@tim-lange.me>
+
+	PR analyzer/106539
+	* region-model-impl-calls.cc (region_model::impl_call_realloc):
+	Use the result of get_copied_size as the size for the
+	sized_regions in realloc.
+	(success_with_move::get_copied_size): New function.
+
 2022-08-11  Immad Mir  <mirimmad@outlook.com>
 
 	PR analyzer/106551
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 11b23bc7368..b61e5a25442 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,47 @@
+2022-08-12  Jan Hubicka  <hubicka@ucw.cz>
+
+	PR middle-end/106057
+	* g++.dg/tree-ssa/pr101839.C: New test.
+
+2022-08-12  Jakub Jelinek  <jakub@redhat.com>
+
+	PR tree-optimization/106506
+	* g++.dg/opt/pr94589-2.C: New test.
+
+2022-08-12  Tamar Christina  <tamar.christina@arm.com>
+
+	PR target/106524
+	* gcc.target/aarch64/sve/pr106524.c: New test.
+
+2022-08-12  Tim Lange  <mail@tim-lange.me>
+
+	PR analyzer/106000
+	* g++.dg/analyzer/pr100244.C: Disable out-of-bounds warning.
+	* gcc.dg/analyzer/allocation-size-3.c:
+	Disable out-of-bounds warning.
+	* gcc.dg/analyzer/memcpy-2.c: Disable out-of-bounds warning.
+	* gcc.dg/analyzer/pr101962.c: Add dg-warning.
+	* gcc.dg/analyzer/pr96764.c: Disable out-of-bounds warning.
+	* gcc.dg/analyzer/pr97029.c:
+	Add dummy buffer to prevent an out-of-bounds warning.
+	* gcc.dg/analyzer/realloc-5.c: Add dg-warning.
+	* gcc.dg/analyzer/test-setjmp.h:
+	Add dummy buffer to prevent an out-of-bounds warning.
+	* gcc.dg/analyzer/zlib-3.c: Add dg-bogus.
+	* g++.dg/analyzer/out-of-bounds-placement-new.C: New test.
+	* gcc.dg/analyzer/out-of-bounds-1.c: New test.
+	* gcc.dg/analyzer/out-of-bounds-2.c: New test.
+	* gcc.dg/analyzer/out-of-bounds-3.c: New test.
+	* gcc.dg/analyzer/out-of-bounds-container_of.c: New test.
+	* gcc.dg/analyzer/out-of-bounds-coreutils.c: New test.
+	* gcc.dg/analyzer/out-of-bounds-curl.c: New test.
+
+2022-08-12  Tim Lange  <mail@tim-lange.me>
+
+	PR analyzer/106539
+	* gcc.dg/analyzer/pr106539.c: New test.
+	* gcc.dg/analyzer/realloc-5.c: New test.
+
 2022-08-11  David Edelsohn  <dje.gcc@gmail.com>
 
 	* gcc.dg/analyzer/fd-4.c: Define _MODE_T on AIX.