http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46995
Summary: [4.6 Regression] ICE: verify_ssa failed: definition in
block 11 does not dominate use in block 16 with
-fgraphite-identity -fno-tree-dce -ffast-math
Product: gcc
Version: 4.6.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: zso...@seznam.cz
CC: s...@gcc.gnu.org
Host: x86_64-pc-linux-gnu
Target: x86_64-pc-linux-gnu
Created attachment 22803
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22803
reduced testcase (from pr42180.f90)
Testcase is very similiar to PR46994, and flags are the same.
Compiler output:
$ gcc -O -ffast-math -fgraphite-identity -fno-tree-dce pr46995.f90
pr46995.f90: In function 'foo':
pr46995.f90:1:0: error: definition in block 11 does not dominate use in block
16
for SSA_NAME: s_10 in statement:
s_7 = s_10;
pr46995.f90:1:0: internal compiler error: verify_ssa failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
Tested revisions:
r167954 - crash
r165699 - OK
4.5 r166509 - OK
