PR middle-end/88273 - [8/9 Regression] warning: 'memcpy' offset [-527, -529]
authorMartin Sebor <msebor@redhat.com>
Thu, 17 Jan 2019 22:52:47 +0000 (22:52 +0000)
committerMartin Sebor <msebor@gcc.gnu.org>
Thu, 17 Jan 2019 22:52:47 +0000 (15:52 -0700)
commit77efc5c25c487ce50ff94bdee7494c6a87fda4f1
tree5d6d1107a319bf0a98f7b83194157e2f7d111078
parent17ad43dd4c5dc1a39165a6b2108f4ea793e15eed
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
gcc/ChangeLog
gcc/gimple-ssa-warn-restrict.c
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/Warray-bounds-38.c [new file with mode: 0644]