[gcc r13-2036] Daily bump.
GCC Administrator
gccadmin@gcc.gnu.org
Sat Aug 13 00:17:31 GMT 2022
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.
More information about the Gcc-cvs
mailing list