PR middle-end/50389
* gimple-fold.c (gimplify_and_update_call_from_tree): Do not
mark symbols for renaming. Append the VUSE to all statements
that possibly can have one.
* gcc.dg/torture/pr50389.c: New testcase.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179757
138bc75d-0d04-0410-961f-
82ee72b054a4
2011-10-10 Richard Guenther <rguenther@suse.de>
+ PR middle-end/50389
+ * gimple-fold.c (gimplify_and_update_call_from_tree): Do not
+ mark symbols for renaming. Append the VUSE to all statements
+ that possibly can have one.
+
+2011-10-10 Richard Guenther <rguenther@suse.de>
+
* ipa-split.c (pass_split_functions): Add verification TODOs.
(pass_feedback_split_functions): Likewise.
}
new_stmt = gsi_stmt (i);
if (gimple_in_ssa_p (cfun))
- {
- find_new_referenced_vars (new_stmt);
- mark_symbols_for_renaming (new_stmt);
- }
- /* If the new statement has a VUSE, update it with exact SSA name we
- know will reach this one. */
- if (gimple_vuse (new_stmt))
+ find_new_referenced_vars (new_stmt);
+ /* If the new statement possibly has a VUSE, update it with exact SSA
+ name we know will reach this one. */
+ if (gimple_has_mem_ops (new_stmt))
{
/* If we've also seen a previous store create a new VDEF for
the latter one, and make that the new reaching VUSE. */
2011-10-10 Richard Guenther <rguenther@suse.de>
+ PR middle-end/50389
+ * gcc.dg/torture/pr50389.c: New testcase.
+
+2011-10-10 Richard Guenther <rguenther@suse.de>
+
PR middle-end/50195
* gcc.dg/builtins-47.c: Optimize.
--- /dev/null
+/* { dg-do compile } */
+/* { dg-options "-freorder-blocks -ftracer" } */
+
+extern int data[];
+extern int i;
+
+void
+foo (void)
+{
+ char buf[8];
+ __builtin___memcpy_chk (buf, data, i ? 8 : 4,
+ __builtin_object_size (buf, 0));
+ __builtin___memcpy_chk (buf, data, i ? 8 : 4,
+ __builtin_object_size (buf, 0));
+}