https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88932
Bug ID: 88932
Summary: [8/9 Regression] ICE: verify_ssa failed (Error:
definition in block 29 does not dominate use in block
25)
Product: gcc
Version: 8.0
Status: UNCONFIRMED
Keywords: ice-checking, ice-on-valid-code
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
gfortran-9.0.0-alpha20190113 snapshot (r267906) ICEs when compiling
gcc/testsuite/gfortran.dg/assumed_rank_1.f90 w/ -fpredictive-commoning
-fno-tree-ch -fno-tree-dominator-opts -fno-tree-fre:
% powerpc-e300c3-linux-gnu-gfortran-9.0.0-alpha20190113 -O1
-fpredictive-commoning -fno-tree-ch -fno-tree-dominator-opts -fno-tree-fre -c
gcc/testsuite/gfortran.dg/assumed_rank_1.f90
gcc/testsuite/gfortran.dg/assumed_rank_1.f90:96:0:
96 | subroutine foo2(a, rnk, low, high, val)
|
Error: definition in block 29 does not dominate use in block 25
for SSA_NAME: D_lsm0.181_140 in statement:
_68 = D_lsm0.181_140;
during GIMPLE pass: pcom
gcc/testsuite/gfortran.dg/assumed_rank_1.f90:96:0: internal compiler error:
verify_ssa failed
0xfbf4e6 verify_ssa(bool, bool)
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-9.0.0_alpha20190113/work/gcc-9-20190113/gcc/tree-ssa.c:1188
0xcc1870 execute_function_todo
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-9.0.0_alpha20190113/work/gcc-9-20190113/gcc/passes.c:1984
0xcc210a execute_todo
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-9.0.0_alpha20190113/work/gcc-9-20190113/gcc/passes.c:2031
(While my target here is powerpc, the ICE not target-specific.)
