diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2013-05-13 09:50:38 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2013-05-13 09:50:38 +0200 |
| commit | 198fe1bfebf81e2a13b223bedcb41ed34d426862 (patch) | |
| tree | 6222776f2033e37553cfe5ef2160701ddeed9a6c /gcc/tree-ssa-strlen.c | |
| parent | 3a60f32bdee43dcadac21f4e51ce0c43d7aa84a3 (diff) | |
| download | gcc-198fe1bfebf81e2a13b223bedcb41ed34d426862.tar.gz | |
re PR tree-optimization/57230 (tree-ssa-strlen incorrectly optimizes a strlen to 0)
PR tree-optimization/57230
* tree-ssa-strlen.c (handle_char_store): Record length for
array store from STRING_CST.
* gcc.dg/strlenopt-24.c: New test.
From-SVN: r198815
Diffstat (limited to 'gcc/tree-ssa-strlen.c')
| -rw-r--r-- | gcc/tree-ssa-strlen.c | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/gcc/tree-ssa-strlen.c b/gcc/tree-ssa-strlen.c index 4b6cfda5db2..5ab37645ec6 100644 --- a/gcc/tree-ssa-strlen.c +++ b/gcc/tree-ssa-strlen.c @@ -1740,6 +1740,25 @@ handle_char_store (gimple_stmt_iterator *gsi) if (si != NULL) si->writable = true; } + else if (idx == 0 + && TREE_CODE (gimple_assign_rhs1 (stmt)) == STRING_CST + && ssaname == NULL_TREE + && TREE_CODE (TREE_TYPE (lhs)) == ARRAY_TYPE) + { + size_t l = strlen (TREE_STRING_POINTER (gimple_assign_rhs1 (stmt))); + HOST_WIDE_INT a = int_size_in_bytes (TREE_TYPE (lhs)); + if (a > 0 && (unsigned HOST_WIDE_INT) a > l) + { + int idx = new_addr_stridx (lhs); + if (idx != 0) + { + si = new_strinfo (build_fold_addr_expr (lhs), idx, + build_int_cst (size_type_node, l)); + set_strinfo (idx, si); + si->dont_invalidate = true; + } + } + } if (si != NULL && initializer_zerop (gimple_assign_rhs1 (stmt))) { |