From: jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Tue, 27 Jun 2017 07:22:14 +0000 (+0000)
Subject: 	PR middle-end/81207
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=983fdeb3e4992ad8104c8cf8d4ba7825d48a8ed1;p=thirdparty%2Fgcc.git

	PR middle-end/81207
	* gimple-fold.c (replace_call_with_call_and_fold): Handle
	gimple_vuse copying separately from gimple_vdef copying.

	* gcc.c-torture/compile/pr81207.c: New test.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@249677 138bc75d-0d04-0410-961f-82ee72b054a4
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index d2c4260faf21..e9dc0d6f2bac 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,10 +1,14 @@
+2017-06-27  Jakub Jelinek  <jakub@redhat.com>
+
+	PR middle-end/81207
+	* gimple-fold.c (replace_call_with_call_and_fold): Handle
+	gimple_vuse copying separately from gimple_vdef copying.
+
 2017-06-27  Prathamesh Kulkarni  <prathamesh.kulkarni@linaro.org>
 
 	* value-prof.c (free_hist): Remove call to memset and the enclosing if
 	condition.
 
-gcc/ChangeLog:
-
 2017-06-26  Jerome Lambourg  <lambourg@adacore.com>
             Olivier Hainque  <hainque@adacore.com>
 
diff --git a/gcc/gimple-fold.c b/gcc/gimple-fold.c
index a00c2c88713b..8e315fe2e2ed 100644
--- a/gcc/gimple-fold.c
+++ b/gcc/gimple-fold.c
@@ -607,9 +607,10 @@ replace_call_with_call_and_fold (gimple_stmt_iterator *gsi, gimple *repl)
       && TREE_CODE (gimple_vdef (stmt)) == SSA_NAME)
     {
       gimple_set_vdef (repl, gimple_vdef (stmt));
-      gimple_set_vuse (repl, gimple_vuse (stmt));
       SSA_NAME_DEF_STMT (gimple_vdef (repl)) = repl;
     }
+  if (gimple_vuse (stmt))
+    gimple_set_vuse (repl, gimple_vuse (stmt));
   gsi_replace (gsi, repl, false);
   fold_stmt (gsi);
 }
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 38e5c7a94348..0217b7f0beef 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2017-06-27  Jakub Jelinek  <jakub@redhat.com>
+
+	PR middle-end/81207
+	* gcc.c-torture/compile/pr81207.c: New test.
+
 2017-06-27  Marek Polacek  <polacek@redhat.com>
 
 	PR bootstrap/81216
diff --git a/gcc/testsuite/gcc.c-torture/compile/pr81207.c b/gcc/testsuite/gcc.c-torture/compile/pr81207.c
new file mode 100644
index 000000000000..f0faa8c0a229
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/compile/pr81207.c
@@ -0,0 +1,13 @@
+/* PR middle-end/81207 */
+
+static const char *b[2] = { "'", "" };
+
+int
+foo (const char *d)
+{
+  int e;
+  for (e = 0; b[e]; e++)
+    if (__builtin_strstr (d, b[e]))
+      return 1;
+  return 0;
+}