[Bug tree-optimization/71230] [7 Regression] ICE : in zero_one_operation, at tree-ssa-reassoc.c:1230

[rguenth at gcc dot gnu.org]

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

Richard Biener  changed:

   What|Removed |Added

 Status|REOPENED|RESOLVED
 Resolution|--- |FIXED

--- Comment #18 from Richard Biener  ---
-> PR71352.

[Bug tree-optimization/71230] [7 Regression] ICE : in zero_one_operation, at tree-ssa-reassoc.c:1230

[Joost.VandeVondele at mat dot ethz.ch]

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

Joost VandeVondele  changed:

   What|Removed |Added

 Status|RESOLVED|REOPENED
 Resolution|FIXED   |---

--- Comment #17 from Joost VandeVondele  
---
This seems not yet fully fixed. While comment #10 doesn't fail any more in its
reduced form, I still get:

> cat bug.f90
MODULE ai_coulomb_test
  INTEGER, PARAMETER :: dp=8
  INTERFACE
  SUBROUTINE g2gemint(intabc,la_max,npgfa,zeta,a,lb_max,npgfb,zetb,b,&
  lr_max,ls_max,ngemc,zetc,c,nderivative)
  INTEGER, PARAMETER :: dp=8
REAL(KIND=dp), &
  DIMENSION(:, :, :, :, :, :), &
  INTENT(INOUT)  :: intabc
REAL(KIND=dp), DIMENSION(:), INTENT(IN)  :: zeta, a
REAL(KIND=dp), DIMENSION(:), INTENT(IN)  :: zetb, b
REAL(KIND=dp), DIMENSION(:, :, :), &
  INTENT(IN) :: zetc
REAL(KIND=dp), DIMENSION(:), INTENT(IN)  :: c
  END SUBROUTINE
  END INTERFACE
  PRIVATE
  PUBLIC :: eri_test
CONTAINS
  SUBROUTINE eri_test (iw)
IF ( iw>0 ) THEN
   DO l=0,lmax
 WRITE(iw,'(A,T40,A,T66,F15.3)') " Performance [Mintegrals/s]
",i2c(l),perf
   END DO
END IF
CALL geminal_test2 (iw)
CALL geminal_test4 (iw)
  END SUBROUTINE eri_test
  SUBROUTINE geminal_test2 (iw)
DO ma=0,la
  DO mb=0,lb
DO mc=0,lc
  DO md=0,ld
DO iax=0,ma
  DO iay=0,ma-iax
DO ibx=0,mb
  DO iby=0,mb-ibx
DO icx=0,mc
  DO icy=0,mc-icx
DO idx=0,md
  DO idy=0,md-idx
res1=os(na,nb,nc,nd)
  END DO
END DO
  END DO
END DO
  END DO
END DO
  END DO
END DO
  END DO
END DO
  END DO
END DO
  END SUBROUTINE geminal_test2
  SUBROUTINE geminal_test4 (iw)
REAL(KIND=dp):: d1, da, db, dc, delta, dmax, &
xa, xb, xc, xd, xr, xs
REAL(KIND=dp), ALLOCATABLE, &
  DIMENSION(:, :, :, :, :, :):: iabc1m, iabc1p, iabc2m, &
iabc2p, iabc3m, iabc3p, iabcd
REAL(KIND=dp), DIMENSION(2, 2, 1):: za, zb
REAL(KIND=dp), DIMENSION(3)  :: a, b, c, d
REAL(KIND=dp), DIMENSION(6)  :: ra, rb
CALL g2gemint(iabc2p,la,1,(/xa/),a,lc,1,(/xb/),c,llb,llb,1,zb,rb,0)
CALL g2gemint(iabc2m,la,1,(/xa/),a,lc,1,(/xb/),c,llb,llb,1,zb,rb,0)
iabc2p = (iabc2p-iabc2m)/delta
  END SUBROUTINE geminal_test4
END MODULE ai_coulomb_test

> gfortran  -c -g -O3 -ffast-math  -fprefetch-loop-arrays  bug.f90

bug.f90:20:0:

   SUBROUTINE eri_test (iw)

in pp_string, at pretty-print.c:937
0x13ee657 pp_string
../../gcc/gcc/pretty-print.c:937
0x13ee657 pp_string(pretty_printer*, char const*)
../../gcc/gcc/pretty-print.c:935
0x13ef1d6 pp_format(pretty_printer*, text_info*)
../../gcc/gcc/pretty-print.c:579
0x13ea0a1 diagnostic_report_diagnostic(diagnostic_context*, diagnostic_info*)
../../gcc/gcc/diagnostic.c:823
0x13eb905 internal_error(char const*, ...)
../../gcc/gcc/diagnostic.c:1258
0x8f9b98 gimple_check_failed(gimple const*, char const*, int, char const*,
gimple_code, tree_code)
../../gcc/gcc/gimple.c:1174
0xd6a90b GIMPLE_CHECK2
../../gcc/gcc/gimple.h:73
0xd5f267 zero_one_operation
../../gcc/gcc/tree-ssa-reassoc.c:1250
0xd66cc8 undistribute_ops_list
../../gcc/gcc/tree-ssa-reassoc.c:1604
0xd67758 reassociate_bb
../../gcc/gcc/tree-ssa-reassoc.c:5252
0xd67597 reassociate_bb
../../gcc/gcc/tree-ssa-reassoc.c:5382
0xd67597 reassociate_bb
../../gcc/gcc/tree-ssa-reassoc.c:5382
0xd67597 reassociate_bb
../../gcc/gcc/tree-ssa-reassoc.c:5382
0xd67597 reassociate_bb
../../gcc/gcc/tree-ssa-reassoc.c:5382
0xd67597 reassociate_bb
../../gcc/gcc/tree-ssa-reassoc.c:5382
0xd67597 reassociate_bb
../../gcc/gcc/tree-ssa-reassoc.c:5382
0xd69d73 do_reassoc
../../gcc/gcc/tree-ssa-reassoc.c:5496
0xd69d73 execute_reassoc
../../gcc/gcc/tree-ssa-reassoc.c:5583
0xd69d73 execute
../../gcc/gcc/tree-ssa-reassoc.c:5622
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See  for instructions.

[Bug tree-optimization/71230] [7 Regression] ICE : in zero_one_operation, at tree-ssa-reassoc.c:1230

[seurer at linux dot vnet.ibm.com]

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

--- Comment #16 from Bill Seurer  ---
That part I posted about earlier does now compile with trunk revision 236703
but 3 of the spec2006 tests (416.gamess, 454.calculix, 481.wrf) still fail with
compilation errors.  Here's a sample compile that fails:

seurer@genoa:~/gcc/cpu2006/benchspec/CPU2006/416.gamess/build/build_base_base_64.$
/home/seurer/gcc/install/gcc-test/bin/gfortran --version
GNU Fortran (GCC) 7.0.0 20160525 (experimental) [trunk revision 236703]
Copyright (C) 2016 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

seurer@genoa:~/gcc/cpu2006/benchspec/CPU2006/416.gamess/build/build_base_base_64.$
/home/seurer/gcc/install/gcc-test/bin/gfortran -c -o mp2ddi.fppized.o -m64 -O3
-mcpu=power8 -fpeel-loops -funroll-loops -ffast-math -fvect-cost-model
-mpopcntd -mrecip=rsqrt -funconstrained-commons
-fno-aggressive-loop-optimizations mp2ddi.fppized.f
mp2ddi.fppized.f:388:18:

  *,   XX(ILABS)
  1
Warning: Type mismatch in argument 'molabs' at (1); passed REAL(8) to
INTEGER(4)
mp2ddi.fppized.f:398:18:

  *,   XX(ILABS)
  1
Warning: Type mismatch in argument 'molabs' at (1); passed REAL(8) to
INTEGER(4)
mp2ddi.fppized.f:424:45:

  *   XX(IWMAT),XX(ISCHW),XX(ILABS))
 1
Warning: Type mismatch in argument 'labs' at (1); passed REAL(8) to INTEGER(4)
mp2ddi.fppized.f:2433:25:

   CALL SYMVMO(MOLABS,XX(ITMP),XX(NSYM)
 1
Warning: Type mismatch in argument 'mlist' at (1); passed REAL(8) to INTEGER(4)
mp2ddi.fppized.f:3996:32:

 CALL  LU(ALPHA,MAXC,ITR,WK1)
1
Warning: Type mismatch in argument 'ipvt' at (1); passed REAL(8) to INTEGER(4)
mp2ddi.fppized.f:3997:32:

 CALL LUS(ALPHA,MAXC,ITR,WK1,CC,B)
1
Warning: Type mismatch in argument 'ipvt' at (1); passed REAL(8) to INTEGER(4)
mp2ddi.fppized.f:2473:25:

  *,   MOLABS,XX(NSYM),XX(NVSM),XX(LVSM)
 1
Warning: Type mismatch in argument 'nsym' at (1); passed REAL(8) to INTEGER(4)
mp2ddi.fppized.f:427:44:

  *  XX(IWMAT),XX(ISCHW),XX(ILABS))
1
Warning: Type mismatch in argument 'molabs' at (1); passed REAL(8) to
INTEGER(4)
mp2ddi.fppized.f:5365:0:

   SUBROUTINE PMP2CHK

internal compiler error: Segmentation fault
0x10910973 crash_signal
/home/seurer/gcc/gcc-test/gcc/toplev.c:333
0x105d24b4 phi_nodes_ptr
/home/seurer/gcc/gcc-test/gcc/gimple.h:4333
0x105d24b4 gsi_start_phis(basic_block_def*)
/home/seurer/gcc/gcc-test/gcc/gimple-iterator.c:899
0x105d24b4 gsi_for_stmt(gimple*)
/home/seurer/gcc/gcc-test/gcc/gimple-iterator.c:615
0x10b1297b insert_stmt_after
/home/seurer/gcc/gcc-test/gcc/tree-ssa-reassoc.c:1323
0x10b14a4f build_and_add_sum
/home/seurer/gcc/gcc-test/gcc/tree-ssa-reassoc.c:1392
0x10b16e5b rewrite_expr_tree_parallel
/home/seurer/gcc/gcc-test/gcc/tree-ssa-reassoc.c:4128
0x10b22167 reassociate_bb
/home/seurer/gcc/gcc-test/gcc/tree-ssa-reassoc.c:5339
0x10b22037 reassociate_bb
/home/seurer/gcc/gcc-test/gcc/tree-ssa-reassoc.c:5391
0x10b22037 reassociate_bb
/home/seurer/gcc/gcc-test/gcc/tree-ssa-reassoc.c:5391
0x10b22037 reassociate_bb
/home/seurer/gcc/gcc-test/gcc/tree-ssa-reassoc.c:5391
0x10b22037 reassociate_bb
/home/seurer/gcc/gcc-test/gcc/tree-ssa-reassoc.c:5391
0x10b22037 reassociate_bb
/home/seurer/gcc/gcc-test/gcc/tree-ssa-reassoc.c:5391
0x10b22037 reassociate_bb
/home/seurer/gcc/gcc-test/gcc/tree-ssa-reassoc.c:5391
0x10b24eff do_reassoc
/home/seurer/gcc/gcc-test/gcc/tree-ssa-reassoc.c:5505
0x10b24eff execute_reassoc
/home/seurer/gcc/gcc-test/gcc/tree-ssa-reassoc.c:5592
0x10b24eff execute
/home/seurer/gcc/gcc-test/gcc/tree-ssa-reassoc.c:5631
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See  for instructions.

[Bug tree-optimization/71230] [7 Regression] ICE : in zero_one_operation, at tree-ssa-reassoc.c:1230

[kugan at gcc dot gnu.org]

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

--- Comment #15 from kugan at gcc dot gnu.org ---

> internal compiler error: Segmentation fault
> 0x1090f973 crash_signal
>   /home/seurer/gcc/gcc-test/gcc/toplev.c:333
> 0x10b12ca0 sort_by_operand_rank
>   /home/seurer/gcc/gcc-test/gcc/tree-ssa-reassoc.c:530
> 0x10b21863 vec::qsort(int (*)(void
> const*, void const*))
>   /home/seurer/gcc/gcc-test/gcc/vec.h:951
> 0x10b21863 vec::qsort(int (*)(void const*,
> void const*))
>   /home/seurer/gcc/gcc-test/gcc/vec.h:1698
> 0x10b21863 reassociate_bb
>   /home/seurer/gcc/gcc-test/gcc/tree-ssa-reassoc.c:5268
> 0x10b21037 reassociate_bb
>   /home/seurer/gcc/gcc-test/gcc/tree-ssa-reassoc.c:5389
> 0x10b21037 reassociate_bb
>   /home/seurer/gcc/gcc-test/gcc/tree-ssa-reassoc.c:5389
> 0x10b23eff do_reassoc
>   /home/seurer/gcc/gcc-test/gcc/tree-ssa-reassoc.c:5503
> 0x10b23eff execute_reassoc
>   /home/seurer/gcc/gcc-test/gcc/tree-ssa-reassoc.c:5590
> 0x10b23eff execute
>   /home/seurer/gcc/gcc-test/gcc/tree-ssa-reassoc.c:5629
> Please submit a full bug report,
> with preprocessed source if appropriate.
> Please include the complete backtrace with any bug report.
> See  for instructions.
This looks like what is fixed in r236673. Can you please give it a try with
this commit.

Thanks,
Kugan

[Bug tree-optimization/71230] [7 Regression] ICE : in zero_one_operation, at tree-ssa-reassoc.c:1230

[seurer at linux dot vnet.ibm.com]

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

Bill Seurer  changed:

   What|Removed |Added

 CC||seurer at linux dot 
vnet.ibm.com

--- Comment #14 from Bill Seurer  ---
I am still seeing ICEs on powerpc64le (note that I only checked here) even with
this patch applied.  Here is one example from the spec2006 tests where there
are several others:

seurer@genoa:~/gcc/cpu2006/benchspec/CPU2006/416.gamess/build/build_base_base_64.$
/home/seurer/gcc/install/gcc-test/bin/gfortran -c -o parley.fppized.o -m64 -O3
-mcpu=power8 -fpeel-loops -funroll-loops -ffast-math -fvect-cost-model
-mpopcntd -mrecip=rsqrt -funconstrained-commons
-fno-aggressive-loop-optimizations local.fppized.f
local.fppized.f:962:43:

   CALL LMOFRZ(NOUT,IPASS,MCORE,MDOC,N1,X(LNOROT),X(LIIR),L1)
   1
Warning: Type mismatch in argument 'norot' at (1); passed REAL(8) to INTEGER(4)
local.fppized.f:974:21:

  *   X(LIORD),X(LIIR),X(LIA),X(LRIJ),
 1
Warning: Type mismatch in argument 'iord' at (1); passed REAL(8) to INTEGER(4)
local.fppized.f:982:21:

  *   X(LIORD),X(LIIR),X(LMAP),X(LRIJ),
 1
Warning: Type mismatch in argument 'iord' at (1); passed REAL(8) to INTEGER(4)
local.fppized.f:1473:18:

  *X(LMAP),L1,M1,M2,NUMLOC,NUMLC2)
  1
Warning: Type mismatch in argument 'map' at (1); passed REAL(8) to INTEGER(4)
local.fppized.f:1531:53:

  CALL LOCINT(X(LTWOEI),IW,IJKT,NINTMX,X(LXX),X(LIX),
 1
Warning: Type mismatch in argument 'ix' at (1); passed REAL(8) to INTEGER(4)
local.fppized.f:1544:35:

   CALL LOCFRZ(IPASS,MCORE,MDOC,X(LNOROT),X(LS),X(LQ),
   1
Warning: Type mismatch in argument 'norot' at (1); passed REAL(8) to INTEGER(4)
local.fppized.f:1547:46:

  *X(LCINT),X(LXINT),X(LTWOEI),X(LIA),X(LNOROT),
  1
Warning: Type mismatch in argument 'ia' at (1); passed REAL(8) to INTEGER(4)
local.fppized.f:2826:36:

  *X(LWRK2),X(LWRK3),X(LIWRK),X(LPOL),
1
Warning: Type mismatch in argument 'iwrk' at (1); passed REAL(8) to INTEGER(4)
local.fppized.f:3232:62:

   CALL DIMOID(X(LDEN),X(LRLMO),X(LCLMO),X(LSTRI),X(LATMU),X(LIATM),
  1
Warning: Type mismatch in argument 'iatm' at (1); passed REAL(8) to INTEGER(4)
local.fppized.f:3240:28:

   CALL ORIEN(IW,NCAT,M1,X(LINAT),X(LDEN),X(LTRAN),CVGLOC,MITER)
1
Warning: Type mismatch in argument 'natorb' at (1); passed REAL(8) to
INTEGER(4)
local.fppized.f:3245:34:

   CALL ORIPRI(IW,NCAT,NATS,M1,X(LINAT),X(LDEN),X(LIWHI),X(LIATB),
  1
Warning: Type mismatch in argument 'natorb' at (1); passed REAL(8) to
INTEGER(4)
local.fppized.f:3251:35:

   CALL ORIANAL(IW,NCAT,NATS,M1,X(LINAT),X(LDEN),X(LIATB),NOSI)
   1
Warning: Type mismatch in argument 'natorb' at (1); passed REAL(8) to
INTEGER(4)
local.fppized.f:1271:0:

   SUBROUTINE LOCCHK(IW,TWOEI,IA,M1,M2,M4)

internal compiler error: Segmentation fault
0x1090f973 crash_signal
/home/seurer/gcc/gcc-test/gcc/toplev.c:333
0x10b12ca0 sort_by_operand_rank
/home/seurer/gcc/gcc-test/gcc/tree-ssa-reassoc.c:530
0x10b21863 vec::qsort(int (*)(void const*,
void const*))
/home/seurer/gcc/gcc-test/gcc/vec.h:951
0x10b21863 vec::qsort(int (*)(void const*,
void const*))
/home/seurer/gcc/gcc-test/gcc/vec.h:1698
0x10b21863 reassociate_bb
/home/seurer/gcc/gcc-test/gcc/tree-ssa-reassoc.c:5268
0x10b21037 reassociate_bb
/home/seurer/gcc/gcc-test/gcc/tree-ssa-reassoc.c:5389
0x10b21037 reassociate_bb
/home/seurer/gcc/gcc-test/gcc/tree-ssa-reassoc.c:5389
0x10b23eff do_reassoc
/home/seurer/gcc/gcc-test/gcc/tree-ssa-reassoc.c:5503
0x10b23eff execute_reassoc
/home/seurer/gcc/gcc-test/gcc/tree-ssa-reassoc.c:5590
0x10b23eff execute
/home/seurer/gcc/gcc-test/gcc/tree-ssa-reassoc.c:5629
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See  for instructions.

[Bug tree-optimization/71230] [7 Regression] ICE : in zero_one_operation, at tree-ssa-reassoc.c:1230

[sch...@linux-m68k.org]

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

Andreas Schwab  changed:

   What|Removed |Added

 CC||chengniansun at gmail dot com

--- Comment #13 from Andreas Schwab  ---
*** Bug 71263 has been marked as a duplicate of this bug. ***

[Bug tree-optimization/71230] [7 Regression] ICE : in zero_one_operation, at tree-ssa-reassoc.c:1230

[rguenth at gcc dot gnu.org]

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

--- Comment #12 from Richard Biener  ---
Author: rguenth
Date: Tue May 24 14:35:36 2016
New Revision: 236643

URL: https://gcc.gnu.org/viewcvs?rev=236643=gcc=rev
Log:
2016-05-24  Richard Biener  

PR tree-optimization/71230
* tree-ssa-reassoc.c (zero_one_operation): Handle negate special ops.

* gcc.dg/torture/pr71230.c: New testcase.
* g++.dg/torture/pr71230.C: Likewise.

Added:
trunk/gcc/testsuite/g++.dg/torture/pr71230.C
trunk/gcc/testsuite/gcc.dg/torture/pr71230.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-ssa-reassoc.c

[Bug tree-optimization/71230] [7 Regression] ICE : in zero_one_operation, at tree-ssa-reassoc.c:1230

[rguenth at gcc dot gnu.org]

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

Richard Biener  changed:

   What|Removed |Added

 Status|REOPENED|RESOLVED
 Resolution|--- |FIXED

--- Comment #11 from Richard Biener  ---
Fixed.

[Bug tree-optimization/71230] [7 Regression] ICE : in zero_one_operation, at tree-ssa-reassoc.c:1230

[Joost.VandeVondele at mat dot ethz.ch]

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

--- Comment #10 from Joost VandeVondele  
---
new testcase:

> cat bug.f90
MODULE ai_coulomb_test
  INTEGER, PARAMETER :: dp=8
  INTERFACE
  SUBROUTINE g2gemint(intabc,la_max,npgfa,zeta,a,lb_max,npgfb,zetb,b,&
  lr_max,ls_max,ngemc,zetc,c,nderivative)
  INTEGER, PARAMETER :: dp=8
REAL(KIND=dp), &
  DIMENSION(:, :, :, :, :, :), &
  INTENT(INOUT)  :: intabc
REAL(KIND=dp), DIMENSION(:), INTENT(IN)  :: zeta, a
REAL(KIND=dp), DIMENSION(:), INTENT(IN)  :: zetb, b
REAL(KIND=dp), DIMENSION(:, :, :), &
  INTENT(IN) :: zetc
REAL(KIND=dp), DIMENSION(:), INTENT(IN)  :: c
  END SUBROUTINE
  END INTERFACE
  PRIVATE
  PUBLIC :: eri_test
CONTAINS
  SUBROUTINE eri_test (iw)
   IF ( iw>0 ) THEN
  WRITE(iw,'(//,A,/)') "foo"
   END IF
CALL geminal_test4 (iw)
  END SUBROUTINE eri_test
  SUBROUTINE geminal_test4 (iw)
REAL(KIND=dp):: d1, da, db, dc, delta, dmax, &
xa, xb, xc, xd, xr, xs
REAL(KIND=dp), ALLOCATABLE, &
  DIMENSION(:, :, :, :, :, :):: iabc1m, iabc1p, iabc2m, &
iabc2p, iabc3m, iabc3p, iabcd
REAL(KIND=dp), DIMENSION(2, 2, 1):: za, zb
REAL(KIND=dp), DIMENSION(3)  :: a, b, c, d
REAL(KIND=dp), DIMENSION(6)  :: ra, rb
DO k=1,3
  CALL g2gemint(iabc3p,la,1,(/xa/),a,lc,1,(/xb/),c,llb,llb,1,zb,rb,0)
  CALL g2gemint(iabc3m,la,1,(/xa/),a,lc,1,(/xb/),c,llb,llb,1,zb,rb,0)
  iabc3p = (iabc3p-iabc3m)/delta
END DO
  END SUBROUTINE geminal_test4
END MODULE ai_coulomb_test

> gfortran -c -O3 -ffast-math -fprefetch-loop-arrays bug.f90

bug.f90:20:0:

   SUBROUTINE eri_test (iw)

in pp_string, at pretty-print.c:937
0x13e8397 pp_string
../../gcc/gcc/pretty-print.c:937
0x13e8397 pp_string(pretty_printer*, char const*)
../../gcc/gcc/pretty-print.c:935
0x13e8f16 pp_format(pretty_printer*, text_info*)
../../gcc/gcc/pretty-print.c:579
0x13e3de1 diagnostic_report_diagnostic(diagnostic_context*, diagnostic_info*)
../../gcc/gcc/diagnostic.c:823
0x13e5645 internal_error(char const*, ...)
../../gcc/gcc/diagnostic.c:1258
0x8f88f8 gimple_check_failed(gimple const*, char const*, int, char const*,
gimple_code, tree_code)
../../gcc/gcc/gimple.c:1174
0xd671cb GIMPLE_CHECK2
../../gcc/gcc/gimple.h:73
0xd5bab7 zero_one_operation
../../gcc/gcc/tree-ssa-reassoc.c:1232
0xd63528 undistribute_ops_list
../../gcc/gcc/tree-ssa-reassoc.c:1586
0xd63fb8 reassociate_bb
../../gcc/gcc/tree-ssa-reassoc.c:5237
0xd63df7 reassociate_bb
../../gcc/gcc/tree-ssa-reassoc.c:5367
0xd63df7 reassociate_bb
../../gcc/gcc/tree-ssa-reassoc.c:5367
0xd63df7 reassociate_bb
../../gcc/gcc/tree-ssa-reassoc.c:5367
0xd63df7 reassociate_bb
../../gcc/gcc/tree-ssa-reassoc.c:5367
0xd63df7 reassociate_bb
../../gcc/gcc/tree-ssa-reassoc.c:5367
0xd63df7 reassociate_bb
../../gcc/gcc/tree-ssa-reassoc.c:5367
0xd63df7 reassociate_bb
../../gcc/gcc/tree-ssa-reassoc.c:5367
0xd66633 do_reassoc
../../gcc/gcc/tree-ssa-reassoc.c:5481
0xd66633 execute_reassoc
../../gcc/gcc/tree-ssa-reassoc.c:5568
0xd66633 execute
../../gcc/gcc/tree-ssa-reassoc.c:5607
Please submit a full bug report,

> gfortran -v
Using built-in specs.
COLLECT_GCC=gfortran
COLLECT_LTO_WRAPPER=/data/vjoost/gnu/gcc_trunk/install/libexec/gcc/x86_64-pc-linux-gnu/7.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ../gcc/configure --prefix=/data/vjoost/gnu/gcc_trunk/install
--enable-languages=c,c++,fortran --disable-multilib --enable-plugins
--enable-lto --disable-bootstrap
Thread model: posix
gcc version 7.0.0 20160524 (experimental) [trunk revision 236623] (GCC)

[Bug tree-optimization/71230] [7 Regression] ICE : in zero_one_operation, at tree-ssa-reassoc.c:1230

[Joost.VandeVondele at mat dot ethz.ch]

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

--- Comment #9 from Joost VandeVondele  
---
(In reply to Richard Biener from comment #8)
> There is another bug in this function remaining.

I indeed see :
bug.f90:47:0:

   SUBROUTINE eri_test (iw,error)

in pp_string, at pretty-print.c:937
0x13e8397 pp_string
../../gcc/gcc/pretty-print.c:937
0x13e8397 pp_string(pretty_printer*, char const*)
../../gcc/gcc/pretty-print.c:935
0x13e8f16 pp_format(pretty_printer*, text_info*)
../../gcc/gcc/pretty-print.c:579
0x13e3de1 diagnostic_report_diagnostic(diagnostic_context*, diagnostic_info*)
../../gcc/gcc/diagnostic.c:823
0x13e5645 internal_error(char const*, ...)
../../gcc/gcc/diagnostic.c:1258
0x8f88f8 gimple_check_failed(gimple const*, char const*, int, char const*,
gimple_code, tree_code)
../../gcc/gcc/gimple.c:1174
0xd671cb GIMPLE_CHECK2
../../gcc/gcc/gimple.h:73
0xd5bab7 zero_one_operation
../../gcc/gcc/tree-ssa-reassoc.c:1232
0xd63528 undistribute_ops_list
../../gcc/gcc/tree-ssa-reassoc.c:1586
0xd63fb8 reassociate_bb
../../gcc/gcc/tree-ssa-reassoc.c:5237

I'll have a look at reducing it.

[Bug tree-optimization/71230] [7 Regression] ICE : in zero_one_operation, at tree-ssa-reassoc.c:1230

[rguenth at gcc dot gnu.org]

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

Richard Biener  changed:

   What|Removed |Added

 Status|RESOLVED|REOPENED
 Resolution|FIXED   |---

--- Comment #8 from Richard Biener  ---
There is another bug in this function remaining.

[Bug tree-optimization/71230] [7 Regression] ICE : in zero_one_operation, at tree-ssa-reassoc.c:1230

[sch...@linux-m68k.org]

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

Andreas Schwab  changed:

   What|Removed |Added

 CC||dcb314 at hotmail dot com

--- Comment #7 from Andreas Schwab  ---
*** Bug 71244 has been marked as a duplicate of this bug. ***

[Bug tree-optimization/71230] [7 Regression] ICE : in zero_one_operation, at tree-ssa-reassoc.c:1230

[rguenth at gcc dot gnu.org]

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

Richard Biener  changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED

--- Comment #6 from Richard Biener  ---
Fixed.

[Bug tree-optimization/71230] [7 Regression] ICE : in zero_one_operation, at tree-ssa-reassoc.c:1230

[rguenth at gcc dot gnu.org]

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

--- Comment #5 from Richard Biener  ---
Author: rguenth
Date: Mon May 23 14:09:35 2016
New Revision: 236591

URL: https://gcc.gnu.org/viewcvs?rev=236591=gcc=rev
Log:
2016-05-23  Richard Biener  

PR tree-optimization/71230
* tree-ssa-reassoc.c (acceptable_pow_call): Move initial condition...
(try_special_add_to_ops): ... here.  Always test for single-use.

* gfortran.dg/pr71230-1.f90: New testcase.
* gfortran.dg/pr71230-2.f90: Likewise.

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

[Bug tree-optimization/71230] [7 Regression] ICE : in zero_one_operation, at tree-ssa-reassoc.c:1230

[rguenth at gcc dot gnu.org]

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

--- Comment #4 from Richard Biener  ---
I have a fix.

[Bug tree-optimization/71230] [7 Regression] ICE : in zero_one_operation, at tree-ssa-reassoc.c:1230

[rguenth at gcc dot gnu.org]

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

Richard Biener  changed:

   What|Removed |Added

   Priority|P3  |P1
 Status|NEW |ASSIGNED
  Component|middle-end  |tree-optimization
   Target Milestone|--- |7.0

--- Comment #3 from Richard Biener  ---
Also seen in 416.gamess.  I will have a look.