aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRichard Biener <rguenther@suse.de>2017-11-24 12:34:23 +0000
committerRichard Biener <rguenth@gcc.gnu.org>2017-11-24 12:34:23 +0000
commit15b6695ac534148a10dd5a5f266bf2e49316dc32 (patch)
tree633d464d3e68e9b83469ac79ef6ea0be3d9953c4
parent406520e26f53e3c38118886f79b9e3f7e355e978 (diff)
downloadgcc-15b6695ac534148a10dd5a5f266bf2e49316dc32.zip
gcc-15b6695ac534148a10dd5a5f266bf2e49316dc32.tar.gz
gcc-15b6695ac534148a10dd5a5f266bf2e49316dc32.tar.bz2
re PR tree-optimization/82402 (error: SSA_NAME_OCCURS_IN_ABNORMAL_PHI should be set)
2017-11-24 Richard Biener <rguenther@suse.de> PR tree-optimization/82402 * tree-vect-loop-manip.c (create_lcssa_for_virtual_phi): Properly set SSA_NAME_OCCURS_IN_ABNORMAL_PHI. * gcc.dg/torture/pr82402.c: New testcase. From-SVN: r255140
-rw-r--r--gcc/ChangeLog6
-rw-r--r--gcc/testsuite/ChangeLog5
-rw-r--r--gcc/testsuite/gcc.dg/torture/pr82402.c20
-rw-r--r--gcc/tree-vect-loop-manip.c2
4 files changed, 33 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b866e25..acced0c 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2017-11-24 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/82402
+ * tree-vect-loop-manip.c (create_lcssa_for_virtual_phi): Properly
+ set SSA_NAME_OCCURS_IN_ABNORMAL_PHI.
+
2017-11-24 Marc Glisse <marc.glisse@inria.fr>
* match.pd (0-ptr): New transformation.
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 019ff2a..c43842b 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,10 @@
2017-11-24 Richard Biener <rguenther@suse.de>
+ PR tree-optimization/82402
+ * gcc.dg/torture/pr82402.c: New testcase.
+
+2017-11-24 Richard Biener <rguenther@suse.de>
+
PR tree-optimization/83128
* gcc.dg/tree-ssa/ssa-fre-62.c: New testcase.
diff --git a/gcc/testsuite/gcc.dg/torture/pr82402.c b/gcc/testsuite/gcc.dg/torture/pr82402.c
new file mode 100644
index 0000000..cf90d5c
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/pr82402.c
@@ -0,0 +1,20 @@
+/* { dg-do compile } */
+
+typedef int jmp_buf[1];
+
+extern void exit(int) __attribute__((__noreturn__));
+extern int setjmpx(jmp_buf) __attribute__((__returns_twice__));
+
+jmp_buf jbAnagram;
+int a[6];
+int d;
+int b () { exit (1); }
+int c () { b (); }
+int e ()
+{
+ int f = 0;
+ for (; f < 6; f++)
+ a[f] = d;
+ c ();
+ setjmpx (jbAnagram);
+}
diff --git a/gcc/tree-vect-loop-manip.c b/gcc/tree-vect-loop-manip.c
index 1df591e..a0d9baf 100644
--- a/gcc/tree-vect-loop-manip.c
+++ b/gcc/tree-vect-loop-manip.c
@@ -639,6 +639,8 @@ create_lcssa_for_virtual_phi (struct loop *loop)
gimple *stmt;
use_operand_p use_p;
+ SSA_NAME_OCCURS_IN_ABNORMAL_PHI (new_vop)
+ = SSA_NAME_OCCURS_IN_ABNORMAL_PHI (vop);
add_phi_arg (new_phi, vop, exit_e, UNKNOWN_LOCATION);
gimple_phi_set_result (new_phi, new_vop);
FOR_EACH_IMM_USE_STMT (stmt, imm_iter, vop)