re PR middle-end/57412 (ICE: in verify_loop_structure, at cfgloop.c:1647: loop…

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

gcc/ChangeLog

 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
 	* tree-ssa-loop-niter.c (number_of_iterations_ne_max): Do not
 	use multiple_of_p if not TYPE_OVERFLOW_UNDEFINED.

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))

gcc/testsuite/ChangeLog

+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

gcc/testsuite/gcc.dg/gomp/pr57412.c

+/* { dg-do compile } */
+
+int thr;
+#pragma omp threadprivate (thr)
+int foo ()
+{
+  int l;
+#pragma omp parallel copyin (thr) reduction (||:l)
+  ;
+}