From: Richard Biener <rguenther@suse.de>
Date: Mon, 29 Apr 2019 13:54:58 +0000 (+0000)
Subject: tree-ssa.c (insert_debug_temp_for_var_def): For {CLOBBER} rhs issue a reset.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4e29671cb258f486e498a0697f88861ff351de50;p=gcc.git

tree-ssa.c (insert_debug_temp_for_var_def): For {CLOBBER} rhs issue a reset.

2019-04-29  Richard Biener  <rguenther@suse.de>

	* tree-ssa.c (insert_debug_temp_for_var_def): For {CLOBBER}
	rhs issue a reset.

From-SVN: r270652
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 124f506eaf4..b1c68bbf81f 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2019-04-29  Richard Biener  <rguenther@suse.de>
+
+	* tree-ssa.c (insert_debug_temp_for_var_def): For {CLOBBER}
+	rhs issue a reset.
+
 2019-04-27  Iain Buclaw  <ibuclaw@gdcproject.org>
 
 	* config/netbsd-d.c: Include memmodel.h.  Remove unused tree.h,
diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c
index cf366982eef..489f6dc1501 100644
--- a/gcc/tree-ssa.c
+++ b/gcc/tree-ssa.c
@@ -358,6 +358,11 @@ insert_debug_temp_for_var_def (gimple_stmt_iterator *gsi, tree var)
       else if (value == error_mark_node)
 	value = NULL;
     }
+  else if (gimple_clobber_p (def_stmt))
+    /* We can end up here when rewriting a decl into SSA and coming
+       along a clobber for the original decl.  Turn that into
+       # DEBUG decl => NULL  */
+    value = NULL;
   else if (is_gimple_assign (def_stmt))
     {
       bool no_value = false;