Daily bump.

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index cb74455c2b6f3a5dc73e90d385e7f5b15b9738de..dad7ce90c723e8163bfbf5de706e8af0b63edc67 100644 (file)
--- 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 1c5d419104a1fd0b0441fc691fbb5ad1256d5ac3..763830cfe05354885cdce8b902006143cbd9b15b 100644 (file)
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20220812
+20220813

diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index f44c5eb563f62dd9d86ad47a6afe64c04fe01397..2f03c556cae9628f9805dab41b116c31c5d93fee 100644 (file)
--- 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 11b23bc73686b8269860a534612de90defbb85ce..b61e5a25442e40a9aa207b8bfa2062722f25bca5 100644 (file)
--- 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.