aboutsummaryrefslogtreecommitdiff
path: root/gcc/tree-ssa-strlen.c
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/tree-ssa-strlen.c')
-rw-r--r--gcc/tree-ssa-strlen.c19
1 files changed, 19 insertions, 0 deletions
diff --git a/gcc/tree-ssa-strlen.c b/gcc/tree-ssa-strlen.c
index 4b6cfda..5ab3764 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)))
{