From: Richard Biener <rguenther@suse.de>
Date: Mon, 27 May 2013 15:02:53 +0000 (+0000)
Subject: re PR middle-end/57412 (ICE: in verify_loop_structure, at cfgloop.c:1647: loop 1... 
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a1756c0a454d49d74b7f1aaae5ad4d1166c28180;p=gcc.git

re PR middle-end/57412 (ICE: in verify_loop_structure, at cfgloop.c:1647: loop 1's latch does not have an edge to its header with -fopenmp -fipa-pure-const)

2013-05-27  Richard Biener  <rguenther@suse.de>

	PR middle-end/57412
	* omp-low.c (expand_omp_atomic_pipeline): Use the correct latch
	block for the new loop.

	* gcc.dg/gomp/pr57412.c: New testcase.

From-SVN: r199359
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 7d6d31e01a2..b94d492f659 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2013-05-27  Richard Biener  <rguenther@suse.de>
+
+	PR middle-end/57412
+	* omp-low.c (expand_omp_atomic_pipeline): Use the correct latch
+	block for the new loop.
+
 2013-05-27  Richard Biener  <rguenther@suse.de>
 
 	PR tree-optimization/57343
diff --git a/gcc/omp-low.c b/gcc/omp-low.c
index 2cae478fcb9..afddf377407 100644
--- a/gcc/omp-low.c
+++ b/gcc/omp-low.c
@@ -5665,7 +5665,7 @@ expand_omp_atomic_pipeline (basic_block load_bb, basic_block store_bb,
 
   struct loop *loop = alloc_loop ();
   loop->header = loop_header;
-  loop->latch = loop_header;
+  loop->latch = store_bb;
   add_loop (loop, loop_header->loop_father);
 
   if (gimple_in_ssa_p (cfun))
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 95330b7af9d..da2e53cb1ae 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2013-05-27  Richard Biener  <rguenther@suse.de>
+
+	PR middle-end/57412
+	* gcc.dg/gomp/pr57412.c: New testcase.
+
 2013-05-27  Bud Davis  <jmdavis@link.com>
 
 	PR fortran/50405
diff --git a/gcc/testsuite/gcc.dg/gomp/pr57412.c b/gcc/testsuite/gcc.dg/gomp/pr57412.c
new file mode 100644
index 00000000000..246f5323954
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/gomp/pr57412.c
@@ -0,0 +1,10 @@
+/* { dg-do compile } */
+
+int thr;
+#pragma omp threadprivate (thr)
+int foo ()
+{
+  int l;
+#pragma omp parallel copyin (thr) reduction (||:l)
+  ;
+}