https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97721
Bug ID: 97721
Summary: [11 Regression] ICE in verify_range, at
value-range.cc:361
Product: gcc
Version: 11.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
gcc-11.0.0-alpha20201101 snapshot (g:590febb5f6624f78b36402a7c9a9c318978f1efa)
ICEs when compiling the following testcase w/ -O1 -fno-tree-dominator-opts:
int ot;
void
z6 (char *tw)
{
while (ot >= 0)
--ot;
__builtin_strcpy (&tw[ot], tw);
}
% gcc-11.0.0 -O1 -fno-tree-dominator-opts -c xcjgghki.c
during GIMPLE pass: wrestrict
xcjgghki.c: In function 'z6':
xcjgghki.c:4:1: internal compiler error: in verify_range, at value-range.cc:361
4 | z6 (char *tw)
| ^~
0x726a05 irange::verify_range()
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201101/work/gcc-11-20201101/gcc/value-range.cc:361
0x10bc9bb irange::irange_intersect(irange const&)
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201101/work/gcc-11-20201101/gcc/value-range.cc:1752
0x176007d irange::intersect(irange const&)
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201101/work/gcc-11-20201101/gcc/value-range.h:541
0x176007d gori_compute::compute_name_range_op(irange&, gimple*, irange const&,
tree_node*)
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201101/work/gcc-11-20201101/gcc/gimple-range-gori.cc:495
0x176363e gori_compute::compute_operand_range(irange&, gimple*, irange const&,
tree_node*)
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201101/work/gcc-11-20201101/gcc/gimple-range-gori.cc:575
0x176363e gori_compute_cache::compute_operand_range(irange&, gimple*, irange
const&, tree_node*)
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201101/work/gcc-11-20201101/gcc/gimple-range-gori.cc:1280
0x17625e7 gori_compute::outgoing_edge_range_p(irange&, edge_def*, tree_node*)
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201101/work/gcc-11-20201101/gcc/gimple-range-gori.cc:1003
0x175e52e ranger_cache::iterative_cache_update(tree_node*)
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201101/work/gcc-11-20201101/gcc/gimple-range-cache.cc:632
0x175ea72 ranger_cache::fill_block_cache(tree_node*, basic_block_def*,
basic_block_def*)
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201101/work/gcc-11-20201101/gcc/gimple-range-cache.cc:804
0x175f22d ranger_cache::block_range(irange&, basic_block_def*, tree_node*,
bool)
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201101/work/gcc-11-20201101/gcc/gimple-range-cache.cc:585
0x1757a60 gimple_ranger::range_on_entry(irange&, basic_block_def*, tree_node*)
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201101/work/gcc-11-20201101/gcc/gimple-range.cc:942
0x175843b gimple_ranger::range_of_expr(irange&, tree_node*, gimple*)
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201101/work/gcc-11-20201101/gcc/gimple-range.cc:913
0x1757b5b gimple_ranger::range_on_exit(irange&, basic_block_def*, tree_node*)
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201101/work/gcc-11-20201101/gcc/gimple-range.cc:963
0x1757d36 gimple_ranger::range_on_edge(irange&, edge_def*, tree_node*)
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201101/work/gcc-11-20201101/gcc/gimple-range.cc:980
0x175b769 gimple_ranger::range_of_phi(irange&, gphi*)
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201101/work/gcc-11-20201101/gcc/gimple-range.cc:504
0x175bc7d gimple_ranger::calc_stmt(irange&, gimple*, tree_node*)
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201101/work/gcc-11-20201101/gcc/gimple-range.cc:374
0x175be5e gimple_ranger::range_of_stmt(irange&, gimple*, tree_node*)
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201101/work/gcc-11-20201101/gcc/gimple-range.cc:1020
0x1758508 gimple_ranger::range_of_expr(irange&, tree_node*, gimple*)
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201101/work/gcc-11-20201101/gcc/gimple-range.cc:910
0x1759864 gimple_ranger::range_of_range_op(irange&, gimple*)
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201101/work/gcc-11-20201101/gcc/gimple-range.cc:427
0x175ba5a gimple_ranger::calc_stmt(irange&, gimple*, tree_node*)
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201101/work/gcc-11-20201101/gcc/gimple-range.cc:372
