PR tree-optimization/70152

	* tree-sra.c (replace_removed_params_ssa_names): Copy over
	SSA_NAME_OCCURS_IN_ABNORMAL_PHI from old_name to new_name.

	* gcc.dg/pr70152.c: New test.

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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b7140a6..a35884f 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,9 @@
 2016-03-09  Jakub Jelinek  <jakub@redhat.com>
 
+       PR tree-optimization/70152
+       * tree-sra.c (replace_removed_params_ssa_names): Copy over
+       SSA_NAME_OCCURS_IN_ABNORMAL_PHI from old_name to new_name.
+
        PR target/70086
        * config/i386/i386.md (truncdfsf2 splitter): Use gen_vec_concatv2df
        instead of gen_sse2_loadlpd.

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index e2db34d..eec10fd 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,8 @@
 2016-03-09  Jakub Jelinek  <jakub@redhat.com>
 
+       PR tree-optimization/70152
+       * gcc.dg/pr70152.c: New test.
+
        PR target/70086
        * gcc.target/i386/pr70086-1.c: New test.
        * gcc.target/i386/pr70086-2.c: New test.

diff --git a/gcc/testsuite/gcc.dg/pr70152.c b/gcc/testsuite/gcc.dg/pr70152.c
new file mode 100644 (file)
index 0000000..27a092d
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr70152.c
@@ -0,0 +1,27 @@
+/* PR tree-optimization/70152 */
+/* { dg-do compile } */
+/* { dg-options "-O2" } */
+
+int a;
+int foo (void);
+int setjmp (char *);
+char buf[64];
+
+static int
+bar (int x)
+{
+  x = 0;
+  setjmp (buf);
+  for (;;)
+    {
+    switch (x)
+      case 5:
+       x = foo ();
+    }
+}
+
+void
+baz (void)
+{
+  bar (a);
+}

diff --git a/gcc/tree-sra.c b/gcc/tree-sra.c
index 366f413..06c39c3 100644 (file)
--- a/gcc/tree-sra.c
+++ b/gcc/tree-sra.c
@@ -4758,6 +4758,8 @@ replace_removed_params_ssa_names (tree old_name, gimple *stmt,
 
   repl = get_replaced_param_substitute (adj);
   new_name = make_ssa_name (repl, stmt);
+  SSA_NAME_OCCURS_IN_ABNORMAL_PHI (new_name)
+    = SSA_NAME_OCCURS_IN_ABNORMAL_PHI (old_name);
 
   if (dump_file)
     {