https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83418
Bug ID: 83418
Summary: [8 Regression] ICE in
extract_range_for_var_from_comparison_expr, at
vr-values.c:448
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: asolokha at gmx dot com
Target Milestone: ---
gcc-8.0.0-alpha20171210 snapshot (r255534) ICEs when compiling the following
snippet w/ -O1:
void
yj (int j4)
{
int t3;
for (t3 = 0; t3 < 6; ++t3)
{
short int v4 = t3;
if (v4 == j4 || v4 > t3)
for (;;)
{
}
}
}
% gcc-8.0.0-alpha20171210 -O1 -c g0qqlono.c
during GIMPLE pass: dom
g0qqlono.c: In function 'yj':
g0qqlono.c:2:1: internal compiler error: in
extract_range_for_var_from_comparison_expr, at vr-values.c:448
yj (int j4)
^~
0x781b4b vr_values::extract_range_for_var_from_comparison_expr(tree_node*,
tree_code, tree_node*, tree_node*, value_range*)
/var/tmp/portage/sys-devel/gcc-8.0.0_alpha20171210/work/gcc-8-20171210/gcc/vr-values.c:448
0x13eb9a0 evrp_range_analyzer::try_find_new_range(tree_node*, tree_node*,
tree_code, tree_node*)
/var/tmp/portage/sys-devel/gcc-8.0.0_alpha20171210/work/gcc-8-20171210/gcc/gimple-ssa-evrp-analyze.c:87
0x13ec7d6
evrp_range_analyzer::record_ranges_from_incoming_edge(basic_block_def*)
/var/tmp/portage/sys-devel/gcc-8.0.0_alpha20171210/work/gcc-8-20171210/gcc/gimple-ssa-evrp-analyze.c:196
0x13ecd1a evrp_range_analyzer::enter(basic_block_def*)
/var/tmp/portage/sys-devel/gcc-8.0.0_alpha20171210/work/gcc-8-20171210/gcc/gimple-ssa-evrp-analyze.c:73
0xe17a06 dom_opt_dom_walker::before_dom_children(basic_block_def*)
/var/tmp/portage/sys-devel/gcc-8.0.0_alpha20171210/work/gcc-8-20171210/gcc/tree-ssa-dom.c:1411
0x13d2147 dom_walker::walk(basic_block_def*)
/var/tmp/portage/sys-devel/gcc-8.0.0_alpha20171210/work/gcc-8-20171210/gcc/domwalk.c:308
0xe1801f execute
/var/tmp/portage/sys-devel/gcc-8.0.0_alpha20171210/work/gcc-8-20171210/gcc/tree-ssa-dom.c:704
