diff options
author | Martin Sebor <msebor@redhat.com> | 2018-08-28 00:25:50 +0000 |
---|---|---|
committer | Martin Sebor <msebor@gcc.gnu.org> | 2018-08-27 18:25:50 -0600 |
commit | d1af2f668fb0fca982183265e1a56e23d4f25fa8 (patch) | |
tree | dda636af1797625923bd2ed2310ed569091e2033 /gcc/tree-ssa-strlen.c | |
parent | 37223543da6e58eb12b19611b5f20dd5a1fec39e (diff) | |
download | gcc-d1af2f668fb0fca982183265e1a56e23d4f25fa8.zip gcc-d1af2f668fb0fca982183265e1a56e23d4f25fa8.tar.gz gcc-d1af2f668fb0fca982183265e1a56e23d4f25fa8.tar.bz2 |
PR tree-optimization/86914 - wrong code with strlen() of poor-man's flexible array member plus offset
gcc/ChangeLog:
PR tree-optimization/86914
* tree-ssa-strlen.c (maybe_set_strlen_range): Avoid MEM_REF.
gcc/testsuite/ChangeLog:
PR tree-optimization/86914
* gcc.dg/strlenopt-57.c: New test.
From-SVN: r263905
Diffstat (limited to 'gcc/tree-ssa-strlen.c')
-rw-r--r-- | gcc/tree-ssa-strlen.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/tree-ssa-strlen.c b/gcc/tree-ssa-strlen.c index b90d4a1..84e6152 100644 --- a/gcc/tree-ssa-strlen.c +++ b/gcc/tree-ssa-strlen.c @@ -1160,7 +1160,9 @@ maybe_set_strlen_range (tree lhs, tree src, tree bound) suggests if it's treated as a poor-man's flexible array member. */ src = TREE_OPERAND (src, 0); bool src_is_array = TREE_CODE (TREE_TYPE (src)) == ARRAY_TYPE; - if (src_is_array && !array_at_struct_end_p (src)) + if (src_is_array + && TREE_CODE (src) != MEM_REF + && !array_at_struct_end_p (src)) { tree type = TREE_TYPE (src); if (tree size = TYPE_SIZE_UNIT (type)) |