PR middle-end/77357 - strlen of constant strings not folded
commit47d2cd73185a207ecc90970a73f5b38b114c48c2
authormsebor <msebor@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 9 Jul 2018 20:33:48 +0000 (9 20:33 +0000)
committermsebor <msebor@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 9 Jul 2018 20:33:48 +0000 (9 20:33 +0000)
treea540d226c0eeee38bd5ea06483ae688c1e0c070e
parent449d9e9b812f615dcb5b2a665663f4991c29e697
PR middle-end/77357 - strlen of constant strings not folded

gcc/ChangeLog:

PR middle-end/77357
PR middle-end/86428
* builtins.c (c_strlen): Avoid out-of-bounds warnings when
accessing implicitly initialized array elements.
* expr.c (string_constant): Handle string initializers of
character arrays within aggregates.
* gimple-fold.c (fold_array_ctor_reference): Add argument.
Store element offset.  As a special case, handle zero size.
(fold_nonarray_ctor_reference): Same.
(fold_ctor_reference): Add argument.  Store subobject offset.
* gimple-fold.h (fold_ctor_reference): Add argument.

gcc/testsuite/ChangeLog:

PR middle-end/77357
* gcc.dg/strlenopt-49.c: New test.
* gcc.dg/strlenopt-50.c: New test.
* gcc.dg/strlenopt-51.c: New test.
* gcc.dg/strlenopt-52.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@262522 138bc75d-0d04-0410-961f-82ee72b054a4
13 files changed:
gcc/ChangeLog
gcc/builtins.c
gcc/expr.c
gcc/fold-const.c
gcc/fold-const.h
gcc/gimple-fold.c
gcc/gimple-fold.h
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.c-torture/execute/builtins/strlen-3.c
gcc/testsuite/gcc.dg/strlenopt-49.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/strlenopt-50.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/strlenopt-51.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/strlenopt-52.c [new file with mode: 0644]