diff options
| author | Martin Sebor <msebor@redhat.com> | 2019-01-17 22:52:47 +0000 |
|---|---|---|
| committer | Martin Sebor <msebor@gcc.gnu.org> | 2019-01-17 15:52:47 -0700 |
| commit | 77efc5c25c487ce50ff94bdee7494c6a87fda4f1 (patch) | |
| tree | 5d6d1107a319bf0a98f7b83194157e2f7d111078 /gcc/gimple-ssa-warn-restrict.c | |
| parent | 17ad43dd4c5dc1a39165a6b2108f4ea793e15eed (diff) | |
| download | gcc-77efc5c25c487ce50ff94bdee7494c6a87fda4f1.zip gcc-77efc5c25c487ce50ff94bdee7494c6a87fda4f1.tar.gz gcc-77efc5c25c487ce50ff94bdee7494c6a87fda4f1.tar.bz2 | |
PR middle-end/88273 - [8/9 Regression] warning: 'memcpy' offset [-527, -529]
PR middle-end/88273 - [8/9 Regression] warning: 'memcpy' offset [-527, -529]
is out of the bounds [0, 16]
gcc/ChangeLog:
PR middle-end/88273
* gimple-ssa-warn-restrict.c (builtin_memref::extend_offset_range):
Handle anti-ranges the same as no range at all.
gcc/testsuite/ChangeLog:
PR middle-end/88273
* gcc.dg/Warray-bounds-38.c: New test.
From-SVN: r268048
Diffstat (limited to 'gcc/gimple-ssa-warn-restrict.c')
| -rw-r--r-- | gcc/gimple-ssa-warn-restrict.c | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/gcc/gimple-ssa-warn-restrict.c b/gcc/gimple-ssa-warn-restrict.c index 42c87190..b069f3a 100644 --- a/gcc/gimple-ssa-warn-restrict.c +++ b/gcc/gimple-ssa-warn-restrict.c @@ -319,13 +319,9 @@ builtin_memref::extend_offset_range (tree offset) offrange[0] += offset_int::from (min, SIGNED); offrange[1] += offset_int::from (max, SIGNED); } - else if (rng == VR_ANTI_RANGE) - { - offrange[0] += offset_int::from (max + 1, SIGNED); - offrange[1] += offset_int::from (min - 1, SIGNED); - } else { + /* Handle an anti-range the same as no range at all. */ gimple *stmt = SSA_NAME_DEF_STMT (offset); tree type; if (is_gimple_assign (stmt) |