[Bug tree-optimization/91830] [10 Regression] Bogus -Warray-bounds on strcpy into a member of a subobject compiling binutils

[msebor at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91830

--- Comment #7 from Martin Sebor <msebor at gcc dot gnu.org> ---
Author: msebor
Date: Sat Sep 21 22:32:59 2019
New Revision: 276022

URL: https://gcc.gnu.org/viewcvs?rev=276022&root=gcc&view=rev
Log:
PR middle-end/91830 - Bogus -Warray-bounds on strcpy into a member
of a subobject compiling binutils

gcc/ChangeLog:
        * gcc/gimple-ssa-warn-restrict.c (builtin_memref::set_base_and_offset):
        Simplify computation of the offset of the referenced subobject.

gcc/testsuite/ChangeLog:
        * gcc/testsuite/gcc.dg/Warray-bounds-47.c: New test.


Added:
    trunk/gcc/testsuite/gcc.dg/Warray-bounds-47.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/gimple-ssa-warn-restrict.c
    trunk/gcc/testsuite/ChangeLog