https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81203
Bug ID: 81203
Summary: [8 Regression] tail recursion: internal compiler
error: verify_ssa failed
Product: gcc
Version: 8.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: rguenth at gcc dot gnu.org
Target Milestone: ---
a;
b() {
int c, d;
if (a)
d = b();
return 1 + c + d;
}
with -O2 causes
t9.c:7:1: error: definition in block 3 does not dominate use in block 4
}
^
for SSA_NAME: _2 in statement:
_10 = _2 + d_3;
during GIMPLE pass: tailr
t9.c:7:1: internal compiler error: verify_ssa failed
0x11b735a verify_ssa(bool, bool)
/space/rguenther/src/svn/early-lto-debug/gcc/tree-ssa.c:1186
0xddbe23 execute_function_todo
/space/rguenther/src/svn/early-lto-debug/gcc/passes.c:1996
0xddadbd do_per_function
/space/rguenther/src/svn/early-lto-debug/gcc/passes.c:1655
0xddbfc4 execute_todo
/space/rguenther/src/svn/early-lto-debug/gcc/passes.c:2043
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
