Daily bump.

diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index b56ada5674acdba4adc3fbe747c5c9bd5cda3b93..eaf59824acac198531a712cbeea2892ccf7a067f 100644 (file)
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20220911
+20220912

diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index 0e3cc72aa6f35f5b93178e9a970276368498e92d..ea6d5eeff3ed097ff782bad6137d981d127f20a1 100644 (file)
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,17 @@
+2022-09-11  Tim Lange  <mail@tim-lange.me>
+
+       PR analyzer/106845
+       * region-model.cc (region_model::check_region_bounds):
+       Bail out if 0 bytes were accessed.
+       * store.cc (byte_range::dump_to_pp):
+       Add special case for empty ranges.
+       (byte_range::exceeds_p): Restrict to non-empty ranges.
+       (byte_range::falls_short_of_p): Restrict to non-empty ranges.
+       * store.h (bit_range::empty_p): New function.
+       (bit_range::get_last_byte_offset): Restrict to non-empty ranges.
+       (byte_range::empty_p): New function.
+       (byte_range::get_last_byte_offset): Restrict to non-empty ranges.
+
 2022-09-09  David Malcolm  <dmalcolm@redhat.com>
 
        * analyzer.opt (Wanalyzer-exposure-through-uninit-copy): New.

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index ffe0c6317785381e9dbd759630dcb0c15bfcdd15..dd4950eaf9ed9b80872d634579a1c070d84a2aa2 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,9 @@
+2022-09-11  Tim Lange  <mail@tim-lange.me>
+
+       PR analyzer/106845
+       * gcc.dg/analyzer/out-of-bounds-zero.c: New test.
+       * gcc.dg/analyzer/pr106845.c: New test.
+
 2022-09-10  Takayuki 'January June' Suwa  <jjsuwa_sys3175@yahoo.co.jp>
 
        * gcc.target/xtensa/constsynth_3insns.c (test_4):