https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69652
Bug ID: 69652
Summary: [6 Regression] [ICE] verify_ssa fail w/ -O2
-ffast-math -ftree-vectorize
Product: gcc
Version: 6.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: kyukhin at gcc dot gnu.org
Target Milestone: ---
Created attachment 37569
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=37569&action=edit
Reproducer
While building huge workload I've encountered ICE.
creduce finished w/ attached reproducer.
Reproduce:
$ ./gcc -O2 -ffast-math -ftree-vectorize -march=sandybridge repro.i
repro.i:1:1: warning: return type defaults to ‘int’ [-Wimplicit-int]
fn1() {
^~~
repro.i: In function ‘fn1’:
repro.i:1:1: error: definition in block 8 does not dominate use in block 7
for SSA_NAME: .MEM_134 in statement:
# VUSE <.MEM_134>
_24 = *_13;
repro.i:1:1: internal compiler error: verify_ssa failed
0xd12f09 verify_ssa(bool, bool)
/export/users/kyukhin/gcc/git/gcc/gcc/tree-ssa.c:1039
0xa52dad execute_function_todo
/export/users/kyukhin/gcc/git/gcc/gcc/passes.c:1965
0xa5363b execute_todo
/export/users/kyukhin/gcc/git/gcc/gcc/passes.c:2010
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.
Recent gcc-5-branch works fine w/ the case
