2017-08-28 Richard Biener <rguenther@suse.de>
commit8b79a42b60386d2e4fb9af7ed4690858b2ff843d
authorrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 28 Aug 2017 12:16:06 +0000 (28 12:16 +0000)
committerrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 28 Aug 2017 12:16:06 +0000 (28 12:16 +0000)
tree50a977659dbfc3537fbef189641630a9dc36b188
parentea7f72c88eb978522e416f152537f285c47870ff
2017-08-28  Richard Biener  <rguenther@suse.de>

Backport from mainline
2017-08-21  Richard Biener  <rguenther@suse.de>

PR middle-end/81884
* tree-ssa-alias.c (stmt_kills_ref_p): Handle array accesses
at struct end conservatively when comparing common bases.

* g++.dg/torture/pr81884.C: New testcase.

2017-05-04  Richard Biener  <rguenther@suse.de>

* tree.c (array_at_struct_end_p): Handle arrays at struct
end with flexarrays more conservatively.  Refactor and treat
arrays of arrays or aggregates more strict.  Fix
VIEW_CONVERT_EXPR handling.  Remove allow_compref argument.
* tree.h (array_at_struct_end_p): Adjust prototype.
* gimple-fold.c (get_range_strlen): Likewise.
* tree-chkp.c (chkp_may_narrow_to_field): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-7-branch@251379 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/gimple-fold.c
gcc/testsuite/ChangeLog
gcc/testsuite/g++.dg/torture/pr81884.C [new file with mode: 0644]
gcc/tree-chkp.c
gcc/tree-ssa-alias.c
gcc/tree.c
gcc/tree.h