https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105458
Bug ID: 105458
Summary: [12/13 Regression] ICE in set_relation, at
value-relation.cc:609
Product: gcc
Version: 12.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 12.0.1 20220424 snapshot (g:6b7441a46c771aa6ecdc0c8ed96197417d036b9a) ICEs
when compiling gcc/testsuite/gcc.dg/torture/pr83418.c w/ -O1
-fexpensive-optimizations -fno-tree-dominator-opts:
% gcc-12.0.1 -O1 -fexpensive-optimizations -fno-tree-dominator-opts -c
gcc/testsuite/gcc.dg/torture/pr83418.c
during GIMPLE pass: threadfull
gcc/testsuite/gcc.dg/torture/pr83418.c: In function 'yj':
gcc/testsuite/gcc.dg/torture/pr83418.c:4:1: internal compiler error: in
set_relation, at value-relation.cc:609
4 | yj (int j4)
| ^~
0x7a2b0b value_relation::set_relation(tree_code, tree_node*, tree_node*)
/var/tmp/portage/sys-devel/gcc-12.0.1_p20220424/work/gcc-12-20220424/gcc/value-relation.cc:609
0x7a2b0b value_relation::value_relation(tree_code, tree_node*, tree_node*)
/var/tmp/portage/sys-devel/gcc-12.0.1_p20220424/work/gcc-12-20220424/gcc/value-relation.cc:630
0x7a2b0b path_oracle::register_relation(basic_block_def*, tree_code,
tree_node*, tree_node*)
/var/tmp/portage/sys-devel/gcc-12.0.1_p20220424/work/gcc-12-20220424/gcc/value-relation.cc:1385
0x1c84309 fur_source::register_outgoing_edges(gcond*, irange&, edge_def*,
edge_def*)
/var/tmp/portage/sys-devel/gcc-12.0.1_p20220424/work/gcc-12-20220424/gcc/gimple-range-fold.cc:1522
0x1c85106 fold_using_range::range_of_range_op(irange&, gimple*, fur_source&)
/var/tmp/portage/sys-devel/gcc-12.0.1_p20220424/work/gcc-12-20220424/gcc/gimple-range-fold.cc:665
0x1c87005 fold_using_range::fold_stmt(irange&, gimple*, fur_source&,
tree_node*)
/var/tmp/portage/sys-devel/gcc-12.0.1_p20220424/work/gcc-12-20220424/gcc/gimple-range-fold.cc:554
0x1082e93 path_range_query::range_of_stmt(irange&, gimple*, tree_node*)
/var/tmp/portage/sys-devel/gcc-12.0.1_p20220424/work/gcc-12-20220424/gcc/gimple-range-path.cc:767
0x110a659 back_threader::find_taken_edge_cond(vec<basic_block_def*, va_heap,
vl_ptr> const&, gcond*)
/var/tmp/portage/sys-devel/gcc-12.0.1_p20220424/work/gcc-12-20220424/gcc/tree-ssa-threadbackward.cc:320
0x110b01f back_threader::maybe_register_path()
/var/tmp/portage/sys-devel/gcc-12.0.1_p20220424/work/gcc-12-20220424/gcc/tree-ssa-threadbackward.cc:232
0x110b7c4 back_threader::find_paths_to_names(basic_block_def*, bitmap_head*)
/var/tmp/portage/sys-devel/gcc-12.0.1_p20220424/work/gcc-12-20220424/gcc/tree-ssa-threadbackward.cc:419
0x110b762 back_threader::find_paths_to_names(basic_block_def*, bitmap_head*)
/var/tmp/portage/sys-devel/gcc-12.0.1_p20220424/work/gcc-12-20220424/gcc/tree-ssa-threadbackward.cc:459
0x110bb22 back_threader::find_paths(basic_block_def*, tree_node*)
/var/tmp/portage/sys-devel/gcc-12.0.1_p20220424/work/gcc-12-20220424/gcc/tree-ssa-threadbackward.cc:493
0x110bd41 back_threader::thread_blocks()
/var/tmp/portage/sys-devel/gcc-12.0.1_p20220424/work/gcc-12-20220424/gcc/tree-ssa-threadbackward.cc:901
0x110be23 execute
/var/tmp/portage/sys-devel/gcc-12.0.1_p20220424/work/gcc-12-20220424/gcc/tree-ssa-threadbackward.cc:1031
