From a1756c0a454d49d74b7f1aaae5ad4d1166c28180 Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Mon, 27 May 2013 15:02:53 +0000 Subject: [PATCH] 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 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 | 6 ++++++ gcc/omp-low.c | 2 +- gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.dg/gomp/pr57412.c | 10 ++++++++++ 4 files changed, 22 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/gcc.dg/gomp/pr57412.c 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 + + 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 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 + + PR middle-end/57412 + * gcc.dg/gomp/pr57412.c: New testcase. + 2013-05-27 Bud Davis 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) + ; +} -- 2.30.2