Always call free_stmt_vec_info_vec in gather_scalar_reductions

2015-11-23  Tom de Vries  <tom@codesourcery.com>

	PR tree-optimization/68460
	* tree-parloops.c (gather_scalar_reductions): Also call
	free_stmt_vec_info_vec if simple_loop_info == NULL.

	* gcc.dg/autopar/pr68460.c: New test.

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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 16bb1aa32211c9e1cb40d55b41a8d57aa1ec602b..0b7f5d4c3c55cc987c6aa2e95b31f0e89c0c2c0d 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2015-11-23  Tom de Vries  <tom@codesourcery.com>
+
+       PR tree-optimization/68460
+       * tree-parloops.c (gather_scalar_reductions): Also call
+       free_stmt_vec_info_vec if simple_loop_info == NULL.
+
 2015-11-23  Maxim Ostapenko  <m.ostapenko@partner.samsung.com>
 
        * opts.c (finish_options): Allow -fsanitize-recover=address for

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 8781283f6060ee742f1bf698ad71d8de533ce97c..2861d00d94bc4068cd8404a1095584cd61976279 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2015-11-23  Tom de Vries  <tom@codesourcery.com>
+
+       PR tree-optimization/68460
+       * gcc.dg/autopar/pr68460.c: New test.
+
 2015-11-23  Maxim Ostapenko  <m.ostapenko@partner.samsung.com>
 
        * c-c++-common/asan/halt_on_error-1.c: New test.

diff --git a/gcc/testsuite/gcc.dg/autopar/pr68460.c b/gcc/testsuite/gcc.dg/autopar/pr68460.c
new file mode 100644 (file)
index 0000000..0c00065
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/autopar/pr68460.c
@@ -0,0 +1,35 @@
+/* { dg-do "compile" } */
+/* { dg-options "-O -ftree-parallelize-loops=2 -ftree-vectorize -fno-tree-ch -fno-tree-dominator-opts" } */
+
+void abort (void);
+
+int d[1024], e[1024];
+
+int
+foo (void)
+{
+  int s = 0;
+  int i;
+
+  for (i = 0; i < 1024; i++)
+    s += d[i] - e[i];
+
+  return s;
+}
+
+int
+main ()
+{
+  int i;
+
+  for (i = 0; i < 1024; i++)
+    {
+      d[i] = i * 2;
+      e[i] = i;
+    }
+
+  if (foo () != 1023 * 1024 / 2)
+    abort ();
+
+  return 0;
+}

diff --git a/gcc/tree-parloops.c b/gcc/tree-parloops.c
index aca2370482231acebeebb879b5087bf2e84e9114..9b564cabcea044e0beb0aae7018b5375076d7ad4 100644 (file)
--- a/gcc/tree-parloops.c
+++ b/gcc/tree-parloops.c
@@ -2433,7 +2433,7 @@ gather_scalar_reductions (loop_p loop, reduction_info_table_type *reduction_list
 
   simple_loop_info = vect_analyze_loop_form (loop);
   if (simple_loop_info == NULL)
-    return;
+    goto gather_done;
 
   for (gsi = gsi_start_phis (loop->header); !gsi_end_p (gsi); gsi_next (&gsi))
     {
@@ -2492,9 +2492,13 @@ gather_scalar_reductions (loop_p loop, reduction_info_table_type *reduction_list
   destroy_loop_vec_info (simple_loop_info, true);
   destroy_loop_vec_info (simple_inner_loop_info, true);
 
+ gather_done:
   /* Release the claim on gimple_uid.  */
   free_stmt_vec_info_vec ();
 
+  if (reduction_list->elements () == 0)
+    return;
+
   /* As gimple_uid is used by the vectorizer in between vect_analyze_loop_form
      and free_stmt_vec_info_vec, we can set gimple_uid of reduc_phi stmts only
      now.  */