[Bug tree-optimization/71252] [7 Regression] ICE: verify_ssa failed : definition in block 7 does not dominate use in block 6

[Joost.VandeVondele at mat dot ethz.ch]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71252

Joost VandeVondele  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

--- Comment #24 from Joost VandeVondele  
---
yes, afaik.

[Bug tree-optimization/71252] [7 Regression] ICE: verify_ssa failed : definition in block 7 does not dominate use in block 6

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71252

Jakub Jelinek  changed:

   What|Removed |Added

 CC||jakub at gcc dot gnu.org

--- Comment #23 from Jakub Jelinek  ---
Is this fixed now?

[Bug tree-optimization/71252] [7 Regression] ICE: verify_ssa failed : definition in block 7 does not dominate use in block 6

[kugan at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71252

--- Comment #22 from kugan at gcc dot gnu.org ---
Author: kugan
Date: Mon May 30 10:47:57 2016
New Revision: 236876

URL: https://gcc.gnu.org/viewcvs?rev=236876=gcc=rev
Log:
gcc/testsuite/ChangeLog:

2016-05-30  Kugan Vivekanandarajah  

PR middle-end/71269
PR middle-end/71292
* gcc.dg/tree-ssa/pr71269.c: New test.
* gcc.dg/tree-ssa/pr71292.c: New test.

gcc/ChangeLog:

2016-05-30  Kugan Vivekanandarajah  

PR middle-end/71269
PR middle-end/71252
* tree-ssa-reassoc.c (insert_stmt_before_use): Use find_insert_point so
that inserted stmt will not dominate stmts that defines its operand.
(rewrite_expr_tree): Add stmt_to_insert before adding the use stmt.
(rewrite_expr_tree_parallel): Likewise.


Added:
trunk/gcc/testsuite/gcc.dg/tree-ssa/pr71269.c
trunk/gcc/testsuite/gcc.dg/tree-ssa/pr71292.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-ssa-reassoc.c

[Bug tree-optimization/71252] [7 Regression] ICE: verify_ssa failed : definition in block 7 does not dominate use in block 6

[kugan at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71252

--- Comment #21 from kugan at gcc dot gnu.org ---
Author: kugan
Date: Mon May 30 10:45:19 2016
New Revision: 236875

URL: https://gcc.gnu.org/viewcvs?rev=236875=gcc=rev
Log:
gcc/ChangeLog:

2016-05-30  Kugan Vivekanandarajah  

PR middle-end/71252
* tree-ssa-reassoc.c (swap_ops_for_binary_stmt): Fix swap such that
all fields including stmt_to_insert are swapped.


gcc/testsuite/ChangeLog:

2016-05-30  Kugan Vivekanandarajah  

PR middle-end/71252
* gcc.dg/tree-ssa/pr71252-2.c: New test.


Added:
trunk/gcc/testsuite/gcc.dg/tree-ssa/pr71252-2.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-ssa-reassoc.c

[Bug tree-optimization/71252] [7 Regression] ICE: verify_ssa failed : definition in block 7 does not dominate use in block 6

[hjl.tools at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71252

--- Comment #20 from H.J. Lu  ---
As of r236857, on x86-64, I still got

Error with make 'specmake -j `/usr/bin/getconf _NPROCESSORS_ONLN` build': check
file
'/export/gnu/import/git/gcc-test-spec/spec/2006/x86_64/spec/benchspec/CPU2006/416.gamess/build/build_base_lnx32e-gcc./make.err'
Error with make 'specmake -j `/usr/bin/getconf _NPROCESSORS_ONLN` build': check
file
'/export/gnu/import/git/gcc-test-spec/spec/2006/x86_64/spec/benchspec/CPU2006/454.calculix/build/build_base_lnx32e-gcc./make.err'
Error with make 'specmake -j `/usr/bin/getconf _NPROCESSORS_ONLN` build': check
file
'/export/gnu/import/git/gcc-test-spec/spec/2006/x86_64/spec/benchspec/CPU2006/481.wrf/build/build_base_lnx32e-gcc./make.err'
Error with make 'specmake -j `/usr/bin/getconf _NPROCESSORS_ONLN` build': check
file
'/export/gnu/import/git/gcc-test-spec/spec/2006/x86_64/spec/benchspec/CPU2006/416.gamess/build/build_peak_lnx32e-gcc./make.err'
Error with make 'specmake -j `/usr/bin/getconf _NPROCESSORS_ONLN` build': check
file
'/export/gnu/import/git/gcc-test-spec/spec/2006/x86_64/spec/benchspec/CPU2006/454.calculix/build/build_peak_lnx32e-gcc./make.err'
Error with make 'specmake -j `/usr/bin/getconf _NPROCESSORS_ONLN` build': check
file
'/export/gnu/import/git/gcc-test-spec/spec/2006/x86_64/spec/benchspec/CPU2006/481.wrf/build/build_peak_lnx32e-gcc./make.err'

They all have

internal compiler error: Segmentation fault
0xbdd7df crash_signal
../../src-trunk/gcc/toplev.c:333
0x955a29 bb_seq_addr
../../src-trunk/gcc/gimple.h:1655
0x955a29 gsi_start_bb
../../src-trunk/gcc/gimple-iterator.h:129
0x955a29 gsi_for_stmt(gimple*)
../../src-trunk/gcc/gimple-iterator.c:617
0xd7834a insert_stmt_after
../../src-trunk/gcc/tree-ssa-reassoc.c:1323
0xd79573 build_and_add_sum
../../src-trunk/gcc/tree-ssa-reassoc.c:1392
0xd7b87e rewrite_expr_tree_parallel
../../src-trunk/gcc/tree-ssa-reassoc.c:4128
0xd83719 reassociate_bb
../../src-trunk/gcc/tree-ssa-reassoc.c:5339
0xd833c7 reassociate_bb
../../src-trunk/gcc/tree-ssa-reassoc.c:5391
0xd833c7 reassociate_bb
../../src-trunk/gcc/tree-ssa-reassoc.c:5391
0xd833c7 reassociate_bb
../../src-trunk/gcc/tree-ssa-reassoc.c:5391
0xd833c7 reassociate_bb
../../src-trunk/gcc/tree-ssa-reassoc.c:5391
0xd833c7 reassociate_bb
../../src-trunk/gcc/tree-ssa-reassoc.c:5391
0xd833c7 reassociate_bb
../../src-trunk/gcc/tree-ssa-reassoc.c:5391
0xd833c7 reassociate_bb
../../src-trunk/gcc/tree-ssa-reassoc.c:5391
0xd833c7 reassociate_bb
../../src-trunk/gcc/tree-ssa-reassoc.c:5391
0xd833c7 reassociate_bb
../../src-trunk/gcc/tree-ssa-reassoc.c:5391
0xd833c7 reassociate_bb
../../src-trunk/gcc/tree-ssa-reassoc.c:5391
0xd833c7 reassociate_bb
../../src-trunk/gcc/tree-ssa-reassoc.c:5391
0xd833c7 reassociate_bb
../../src-trunk/gcc/tree-ssa-reassoc.c:5391
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See  for instructions.
specmake[3]: *** [umat_single_crystal.o] Error 1

[Bug tree-optimization/71252] [7 Regression] ICE: verify_ssa failed : definition in block 7 does not dominate use in block 6

[dominiq at lps dot ens.fr]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71252

--- Comment #19 from Dominique d'Humieres  ---
For the record, the test gfortran.dg/pr71252.f90 still fails at revision
r236796 on x86_64-apple-darwin15.

[Bug tree-optimization/71252] [7 Regression] ICE: verify_ssa failed : definition in block 7 does not dominate use in block 6

[kugan at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71252

kugan at gcc dot gnu.org changed:

   What|Removed |Added

 CC||hjl.tools at gmail dot com

--- Comment #18 from kugan at gcc dot gnu.org ---
*** Bug 71284 has been marked as a duplicate of this bug. ***

[Bug tree-optimization/71252] [7 Regression] ICE: verify_ssa failed : definition in block 7 does not dominate use in block 6

[kugan at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71252

kugan at gcc dot gnu.org changed:

   What|Removed |Added

 CC||trippels at gcc dot gnu.org

--- Comment #17 from kugan at gcc dot gnu.org ---
*** Bug 71269 has been marked as a duplicate of this bug. ***

[Bug tree-optimization/71252] [7 Regression] ICE: verify_ssa failed : definition in block 7 does not dominate use in block 6

[kugan at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71252

kugan at gcc dot gnu.org changed:

   What|Removed |Added

 CC||ktkachov at gcc dot gnu.org

--- Comment #16 from kugan at gcc dot gnu.org ---
*** Bug 71292 has been marked as a duplicate of this bug. ***

[Bug tree-optimization/71252] [7 Regression] ICE: verify_ssa failed : definition in block 7 does not dominate use in block 6

[rogero at howzatt dot demon.co.uk]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71252

--- Comment #15 from Roger Orr  ---
Sorry for the noise; I'd not noticed there had been a relevant commit.
I'll re-check against trunk.

[Bug tree-optimization/71252] [7 Regression] ICE: verify_ssa failed : definition in block 7 does not dominate use in block 6

[kugan at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71252

--- Comment #14 from kugan at gcc dot gnu.org ---
(In reply to Roger Orr from comment #13)
> The patch sadly does not appear to fix the (very similar looking) valgrind
> compilation failure I posted in pr71269.
> 
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71269#c7

That looks like what is fixed in r236673. If you still have the issue, could
you attach a preprocessed src to reproduce please.

[Bug tree-optimization/71252] [7 Regression] ICE: verify_ssa failed : definition in block 7 does not dominate use in block 6

[rogero at howzatt dot demon.co.uk]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71252

--- Comment #13 from Roger Orr  ---
The patch sadly does not appear to fix the (very similar looking) valgrind
compilation failure I posted in pr71269.

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71269#c7

[Bug tree-optimization/71252] [7 Regression] ICE: verify_ssa failed : definition in block 7 does not dominate use in block 6

[kugan at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71252

--- Comment #12 from kugan at gcc dot gnu.org ---
Posted patch at:
https://gcc.gnu.org/ml/gcc-patches/2016-05/msg02061.html

[Bug tree-optimization/71252] [7 Regression] ICE: verify_ssa failed : definition in block 7 does not dominate use in block 6

[Joost.VandeVondele at mat dot ethz.ch]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71252

--- Comment #11 from Joost VandeVondele  
---
(In reply to Joost VandeVondele from comment #10)
> I had a single file version of it, I'll try to recreate that once for our
> current version.

To use and compile the single file version try this:

wget https://www.dropbox.com/s/18oi02srbot3h9p/cp2k_single_file.f90.gz
gunzip cp2k_single_file.f90.gz
gfortran cp2k_single_file.f90 -llapack -lblas

It takes a few minutes and about 6 GB to compile

[Bug tree-optimization/71252] [7 Regression] ICE: verify_ssa failed : definition in block 7 does not dominate use in block 6

[Joost.VandeVondele at mat dot ethz.ch]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71252

--- Comment #10 from Joost VandeVondele  
---
(In reply to kugan from comment #9)
> What application is this testcase from? I have a patch which I want to try.

This is from the CP2K code we develop, it is available from 

https://www.cp2k.org/download

and part of a few linux distros. Setting up the compilation takes a little
work, but it serves as a good testcase :-)

I had a single file version of it, I'll try to recreate that once for our
current version.

[Bug tree-optimization/71252] [7 Regression] ICE: verify_ssa failed : definition in block 7 does not dominate use in block 6

[kugan at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71252

--- Comment #9 from kugan at gcc dot gnu.org ---
What application is this testcase from? I have a patch which I want to try.

[Bug tree-optimization/71252] [7 Regression] ICE: verify_ssa failed : definition in block 7 does not dominate use in block 6

[kugan at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71252

--- Comment #8 from kugan at gcc dot gnu.org ---
Sorry for the breakage. I can reproduce this. I am looking into it.

[Bug tree-optimization/71252] [7 Regression] ICE: verify_ssa failed : definition in block 7 does not dominate use in block 6

[Joost.VandeVondele at mat dot ethz.ch]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71252

--- Comment #7 from Joost VandeVondele  
---
The following testcase is slightly different in that it leads to a segfault:

> cat bug.f90
MODULE xc_pbe
  INTEGER, PARAMETER :: dp=8
CONTAINS
SUBROUTINE pbe_lsd_calc(rhoa, rhob, norm_drho, norm_drhoa, norm_drhob,&
 e_0, e_ra, e_rb, e_ra_ndra, e_rb_ndrb, e_ndr_ndr,&
 e_ndra, e_ndrb, e_ra_ra, e_ra_rb, e_rb_rb, e_ra_ndr, e_rb_ndr,&
 grad_deriv,npoints,epsilon_rho,epsilon_drho,param,scale_ec,scale_ex,error)
REAL(kind=dp), DIMENSION(*), INTENT(inout) :: e_0, e_ra, e_rb, e_ra_ndra, &
  e_ra_ra, e_ra_rb, e_rb_rb, e_ra_ndr, e_rb_ndr
INTEGER, INTENT(in)  :: grad_deriv, npoints
REAL(kind=dp) :: A, A1rhoa, A1rhob, A_1, A_2, A_3, alpha_1_1, alpha_1_2, &
  t789, t79, t795, t798, t8, t80, t801, t812, t82, t820, t821
  SELECT CASE(grad_deriv)
  CASE default
 DO ii=1,npoints
IF (my_rho>epsilon_rho) THEN
   IF (grad_deriv>=2.OR.grad_deriv==-2) THEN
  k_s1rhoa = k_srhoa
  t801 = t96 * t798 * k_srhoa / 0.2e1_dp
  trhoarhoa = t775 * t776 * phi1rhoa + t779 * t776 * k_s1rhoa / &
   0.2e1_dp + t785 - t269 * t98 * phirhoarhoa / 0.2e1_dp + t779
* t789 &
   * phi1rhoa / 0.2e1_dp + t795 * t789 * k_s1rhoa + t801 - t96
* t274 *&
   0.2e1_dp + t269 * t277 * phi1rhoa / 0.2e1_dp + t96 * t798 *
k_s1rhoa&
   / 0.2e1_dp + t812
  t959 = t908 + t911 + t914 + t917 + t919 + 0.2e1_dp * A1rhoa *
t116&
   * Arhoa + 0.8e1_dp * t944 * Arhoa * t1rhoa + 0.2e1_dp * t314
* &
   trhoa * t1rhoa + 0.4e1_dp * t318 * trhoarhoa
  t962 = 0.2e1_dp * t101 * t1rhoa * t299 + 0.2e1_dp * t297 * t868 *
&
   t321 + 0.2e1_dp * t310 * t936 * t321 * t876 - t310 * t313 *
t959
  e_ra_ra(ii) = e_ra_ra(ii)+&
   scale_ex * (0.2e1_dp * ex_unif_a1rhoa * Fx_a + &
   my_rho * (epsilon_c_unifrhoarhoa + 0.6e1_dp * t858 * t294 *
phi1rhoa +&
   phirhoarhoa + 0.3e1_dp * t293 * t326 * phi1rhoa + t110 *
t962 * t325&
   - t110 * t967 * t879))
  trhoarhob = t775 * t776 * phirhob + t779 * t776 * k_srhob / &
   scale_ex * (0.2e1_dp * ex_unif_b * &
   Fx_bnorm_drhob + 0.2e1_dp * t481 * Fx_bnorm_drhob + 0.2e1_dp
* t156 &
   * (-0.8e1_dp * t1712 * t1713 * s_bnorm_drhob + 0.2e1_dp *
t477 * &
   s_bnorm_drhob * s_brhob + 0.2e1_dp * t477 * s_b * (-t467 *
t148 * &
   kf_brhob / 0.2e1_dp - t146 * t472 / 0.2e1_dp))) / 0.2e1_dp
   END IF
END IF
 END DO
  END SELECT
END SUBROUTINE pbe_lsd_calc
END MODULE xc_pbe


> gfortran  -c -O2 -ffast-math bug.f90
bug.f90:4:0:

 SUBROUTINE pbe_lsd_calc(rhoa, rhob, norm_drho, norm_drhoa, norm_drhob,&

internal compiler error: Segmentation fault
0xba068f crash_signal
../../gcc/gcc/toplev.c:333
0x904906 bb_seq_addr
../../gcc/gcc/gimple.h:1655
0x904906 gsi_start_bb
../../gcc/gcc/gimple-iterator.h:129
0x904906 gsi_for_stmt(gimple*)
../../gcc/gcc/gimple-iterator.c:617
0xd57ff2 insert_stmt_after
../../gcc/gcc/tree-ssa-reassoc.c:1323
0xd59cd5 build_and_add_sum
../../gcc/gcc/tree-ssa-reassoc.c:1392
0xd5b37e rewrite_expr_tree_parallel
../../gcc/gcc/tree-ssa-reassoc.c:4128
0xd65296 reassociate_bb
../../gcc/gcc/tree-ssa-reassoc.c:5339
0xd649c7 reassociate_bb
../../gcc/gcc/tree-ssa-reassoc.c:5391

[Bug tree-optimization/71252] [7 Regression] ICE: verify_ssa failed : definition in block 7 does not dominate use in block 6

[Joost.VandeVondele at mat dot ethz.ch]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71252

--- Comment #6 from Joost VandeVondele  
---
reduced testcase

> cat bug.f90
MODULE xc_pbe
  INTEGER, PARAMETER :: dp=8
  PRIVATE
  PUBLIC :: pbe_lda_info, pbe_lsd_info, pbe_lda_eval, pbe_lsd_eval
CONTAINS
SUBROUTINE pbe_lsd_eval(rho_set,deriv_set,grad_deriv,pbe_params)
INTEGER, INTENT(in)  :: grad_deriv
INTEGER  :: handle, npoints, param, stat
LOGICAL  :: failure
REAL(kind=dp):: epsilon_drho, epsilon_rho, &
scale_ec, scale_ex
REAL(kind=dp), DIMENSION(:, :, :), POINTER :: dummy, e_0, e_ndr, &
  e_ndr_ndr, e_ndr_ra, e_ndr_rb, e_ndra, e_ndra_ndra, e_ndra_ra, e_ndrb, &
  e_ndrb_ndrb, e_ndrb_rb, e_ra, e_ra_ra, e_ra_rb, e_rb, e_rb_rb, &
  norm_drho, norm_drhoa, norm_drhob, rhoa, rhob
  IF (.NOT. failure) THEN
 CALL pbe_lsd_calc(&
  rhoa=rhoa, rhob=rhob, norm_drho=norm_drho, norm_drhoa=norm_drhoa,&
  norm_drhob=norm_drhob, e_0=e_0, e_ra=e_ra, e_rb=e_rb,&
  e_ra_ndra=e_ndra_ra,&
  e_rb_ndrb=e_ndrb_rb, e_ndr_ndr=e_ndr_ndr,&
  e_ndra_ndra=e_ndra_ndra, e_ndrb_ndrb=e_ndrb_ndrb, e_ndr=e_ndr,&
  e_ndra=e_ndra, e_ndrb=e_ndrb, e_ra_ra=e_ra_ra, &
  e_ra_rb=e_ra_rb, e_rb_rb=e_rb_rb, e_ra_ndr=e_ndr_ra,&
  e_rb_ndr=e_ndr_rb,&
  grad_deriv=grad_deriv, npoints=npoints, &
  epsilon_rho=epsilon_rho,epsilon_drho=epsilon_drho,&
  param=param,scale_ec=scale_ec,scale_ex=scale_ex)
  END IF
END SUBROUTINE pbe_lsd_eval
SUBROUTINE pbe_lsd_calc(rhoa, rhob, norm_drho, norm_drhoa, norm_drhob,&
 e_0, e_ra, e_rb, e_ra_ndra, e_rb_ndrb, e_ndr_ndr,&
 e_ndra_ndra, e_ndrb_ndrb, e_ndr,&
 e_ndra, e_ndrb, e_ra_ra, e_ra_rb, e_rb_rb, e_ra_ndr, e_rb_ndr,&
 grad_deriv,npoints,epsilon_rho,epsilon_drho,param,scale_ec,scale_ex)
REAL(kind=dp), DIMENSION(*), INTENT(in)  :: rhoa, rhob, norm_drho, &
norm_drhoa, norm_drhob
REAL(kind=dp), DIMENSION(*), INTENT(inout) :: e_0, e_ra, e_rb, e_ra_ndra, &
  e_rb_ndrb, e_ndr_ndr, e_ndra_ndra, e_ndrb_ndrb, e_ndr, e_ndra, e_ndrb, &
  e_ra_ra, e_ra_rb, e_rb_rb, e_ra_ndr, e_rb_ndr
INTEGER, INTENT(in)  :: grad_deriv, npoints
REAL(kind=dp), INTENT(in):: epsilon_rho, epsilon_drho
INTEGER, INTENT(in)  :: param
REAL(kind=dp), INTENT(in):: scale_ec, scale_ex
REAL(kind=dp) :: epsilon_c_unifrhoarhob, epsilon_c_unifrhob, &
  t7, t70, t705, t708, t71, t711, t72, t726, t73, t733, t736, t74, t745, &
  trhob, trhobnorm_drho, trhobrhob
  SELECT CASE(grad_deriv)
  CASE default
 DO ii=1,npoints
IF (my_rho>epsilon_rho) THEN
   IF (grad_deriv>=2.OR.grad_deriv==-2) THEN
  alpha_c1rhoa = alpha_crhoa
  f1rhoa = frhoa
  t745 = -0.4e1_dp * t77 * t245 * chirhoarhoa + (-0.2e1_dp * t194 *
&
   t212 + t626 * t596 * t628 * t34 / 0.2e1_dp -
e_c_u_0rhoarhoa) * f * &
   t733 * t254 + 0.4e1_dp * t736 * t254 + 0.12e2_dp * t85 * t79
* t682 &
   + 0.4e1_dp * t85 * t244 * chirhoarhoa
  epsilon_c_unifrhoarhoa = e_c_u_0rhoarhoa + (0.2e1_dp * t215 * &
   t233 - t674 * t644 * t676 * t52 / 0.2e1_dp) * f * t82 +
alpha_crhoa &
   * f1rhoa * t82 - 0.4e1_dp * t240 * t246 + alpha_c1rhoa *
frhoa * t82&
   + t745
  Arhoarhoa = 0.2e1_dp * t820 * t822 * t828 - t101 * t281 * (&
   0.3e1_dp * t102 * t285 * phirhoarhoa) * t107 - t851 * t289 *
t828 * &
   t321 + 0.2e1_dp * t310 * t936 * t321 * t876 - t310 * t313 *
t959
  e_ra_ra(ii) = e_ra_ra(ii)+&
   scale_ex * (0.2e1_dp * ex_unif_a1rhoa * Fx_a + &
   my_rho * (epsilon_c_unifrhoarhoa + 0.6e1_dp * t858 * t294 *
phi1rhoa +&
   - t110 * t967 * t879))
  t1674 = t1630 + t1632 + t1635 + t1638 + t1640 + 0.2e1_dp * A1rhob
&
   * Arhobrhob + 0.8e1_dp * t944 * trhob * A1rhob + 0.12e2_dp *
t953 * &
   scale_ex * (0.2e1_dp * ex_unif_a * &
   Fx_anorm_drhoa + 0.2e1_dp * t350 * Fx_anorm_drhoa + 0.2e1_dp
* t140 &
   * (-0.8e1_dp * t1000 * t1001 * s_anorm_drhoa + 0.2e1_dp *
t346 * &
   s_anorm_drhoa * s_arhoa + 0.2e1_dp * t346 * s_a * (-t336 *
t131 * &
   kf_arhoa / 0.2e1_dp - t129 * t341 / 0.2e1_dp))) / 0.2e1_dp
   END IF
END IF
 END DO
  END SELECT
END SUBROUTINE pbe_lsd_calc
END MODULE xc_pbe


> gfortran -c -O3 -ffast-math -march=westmere bug.f90
bug.f90:69:20:

- t110 * t967 * t879))
1
Warning: Extension: Unary operator following arithmetic operator (use
parentheses) at (1)
bug.f90:6:0:

 SUBROUTINE 

[Bug tree-optimization/71252] [7 Regression] ICE: verify_ssa failed : definition in block 7 does not dominate use in block 6

[Joost.VandeVondele at mat dot ethz.ch]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71252

Joost VandeVondele  changed:

   What|Removed |Added

 CC||Joost.VandeVondele at mat dot 
ethz
   ||.ch

--- Comment #5 from Joost VandeVondele  
---
This error still seems present on a different testcase..:

/data/vjoost/gnu/cp2k/cp2k/makefiles/../src/xc_b97.F:360:0:

   SUBROUTINE b97_lsd_eval(rho_set,deriv_set,grad_deriv,b97_params,error)

Error: definition in block 38 does not dominate use in block 37
for SSA_NAME: _1530 in statement:
_3039 = _1530 * 2.0e+0;
/data/vjoost/gnu/cp2k/cp2k/makefiles/../src/xc_b97.F:360:0: internal compiler
error: verify_ssa failed
0xdbe8fc verify_ssa(bool, bool)
../../gcc/gcc/tree-ssa.c:1039
0xad114d execute_function_todo
../../gcc/gcc/passes.c:1971
0xad1b0b execute_todo
../../gcc/gcc/passes.c:2016

I'll try to reduce a testcase.

[Bug tree-optimization/71252] [7 Regression] ICE: verify_ssa failed : definition in block 7 does not dominate use in block 6

[kugan at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71252

--- Comment #4 from kugan at gcc dot gnu.org ---
Author: kugan
Date: Tue May 24 10:50:01 2016
New Revision: 236634

URL: https://gcc.gnu.org/viewcvs?rev=236634=gcc=rev
Log:
gcc/testsuite/ChangeLog:

2016-05-24  Kugan Vivekanandarajah  

PR middle-end/71252
* gfortran.dg/pr71252.f90: New test.

gcc/ChangeLog:

2016-05-24  Kugan Vivekanandarajah  

PR middle-end/71252
* tree-ssa-reassoc.c (rewrite_expr_tree_parallel): Add stmt_to_insert
after
build_and_add_sum creates new use stmt.


Added:
trunk/gcc/testsuite/gfortran.dg/pr71252.f90
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-ssa-reassoc.c

[Bug tree-optimization/71252] [7 Regression] ICE: verify_ssa failed : definition in block 7 does not dominate use in block 6

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71252

Richard Biener  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2016-05-24
  Component|middle-end  |tree-optimization
   Target Milestone|--- |7.0
 Ever confirmed|0   |1

--- Comment #3 from Richard Biener  ---
Confirmed btw.