diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/DATESTAMP | 2 | ||||
| -rw-r--r-- | gcc/analyzer/ChangeLog | 14 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 6 |
3 files changed, 21 insertions, 1 deletions
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index b56ada5..eaf5982 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20220911 +20220912 diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 0e3cc72..ea6d5ee 100644 --- 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 ffe0c63..dd4950e 100644 --- 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): |