https://gcc.gnu.org/bugzilla/show_bug.cgi?id=57742

--- Comment #21 from Marc Glisse <glisse at gcc dot gnu.org> ---
I am testing the following:

--- tree-ssa-strlen.c    (revision 211967)
+++ tree-ssa-strlen.c    (working copy)
@@ -1646,20 +1646,22 @@ handle_builtin_memset (gimple_stmt_itera
   enum built_in_function code1 = DECL_FUNCTION_CODE (callee1);
   tree size = gimple_call_arg (stmt2, 2);
   if (code1 == BUILT_IN_CALLOC)
     /* Not touching stmt1 */ ;
   else if (code1 == BUILT_IN_MALLOC
        && operand_equal_p (gimple_call_arg (stmt1, 0), size, 0))
     {
       gimple_stmt_iterator gsi1 = gsi_for_stmt (stmt1);
       update_gimple_call (&gsi1, builtin_decl_implicit (BUILT_IN_CALLOC), 2,
               size, build_one_cst (size_type_node));
+      si1->length = build_int_cst (size_type_node, 0);
+      si1->stmt = gsi_stmt (gsi1);
     }
   else
     return true;
   tree lhs = gimple_call_lhs (stmt2);
   unlink_stmt_vdef (stmt2);
   if (lhs)
     {
       gimple assign = gimple_build_assign (lhs, ptr);
       gsi_replace (gsi, assign, false);
     }

Reply via email to