diff options
| author | Martin Sebor <msebor@redhat.com> | 2019-11-05 16:20:44 +0000 |
|---|---|---|
| committer | Martin Sebor <msebor@gcc.gnu.org> | 2019-11-05 09:20:44 -0700 |
| commit | 361d4a9eb6b397f3401b7693ee9fbc032e95a0f0 (patch) | |
| tree | d0efeac99cf67e900fd19921105e9211998dbe51 /gcc/ChangeLog | |
| parent | 02bf7e6fa219f939b3225c54fbe8bab2133b1aeb (diff) | |
| download | gcc-361d4a9eb6b397f3401b7693ee9fbc032e95a0f0.zip gcc-361d4a9eb6b397f3401b7693ee9fbc032e95a0f0.tar.gz gcc-361d4a9eb6b397f3401b7693ee9fbc032e95a0f0.tar.bz2 | |
PR middle-end/92341 - missing -Warray-bounds indexing past the end of a compound literal
PR middle-end/92341 - missing -Warray-bounds indexing past the end of a compound literal
PR middle-end/82612 - missing -Warray-bounds on a non-zero offset from the address of a non-array object
gcc/testsuite/ChangeLog:
PR middle-end/92341
PR middle-end/82612
* g++.dg/warn/Warray-bounds-4.C: Adjust text of expected warning.
* gcc.dg/Warray-bounds-53.c: New test.
* gcc.dg/Warray-bounds-54.c: New test.
gcc/ChangeLog:
PR middle-end/92341
PR middle-end/82612
* tree-sra.c (get_access_for_expr): Fail for out-of-bounds offsets.
* tree-vrp.c (vrp_prop::check_array_ref): Correct index and text
of message printed in a warning for empty arrays.
(vrp_prop::check_mem_ref): Also handle function parameters and
empty arrays.
From-SVN: r277851
Diffstat (limited to 'gcc/ChangeLog')
| -rw-r--r-- | gcc/ChangeLog | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 21304fd..18247e7 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,13 @@ +2019-11-04 Martin Sebor <msebor@redhat.com> + + PR middle-end/92341 + PR middle-end/82612 + * tree-sra.c (get_access_for_expr): Fail for out-of-bounds offsets. + * tree-vrp.c (vrp_prop::check_array_ref): Correct index and text + of message printed in a warning for empty arrays. + (vrp_prop::check_mem_ref): Also handle function parameters and + empty arrays. + 2019-11-05 Richard Biener <rguenther@suse.de> PR tree-optimization/92371 |