https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92349
--- Comment #2 from Arseny Solokha <asolokha at gmx dot com> ---
Another testcase:
% gcc-10.0.0-alpha20191103 -O2 -Warray-bounds -c
gcc/testsuite/gcc.c-torture/execute/20080222-1.c
during GIMPLE pass: vrp
gcc/testsuite/gcc.c-torture/execute/20080222-1.c: In function 'main':
gcc/testsuite/gcc.c-torture/execute/20080222-1.c:17:1: internal compiler error:
tree check: expected constructor, have string_cst in get_initializer_for, at
tree.c:13553
17 | main ()
| ^~~~
0x6c2769 tree_check_failed(tree_node const*, char const*, int, char const*,
...)
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20191103/work/gcc-10-20191103/gcc/tree.c:9672
0x6c7290 tree_check(tree_node*, char const*, int, char const*, tree_code)
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20191103/work/gcc-10-20191103/gcc/tree.h:3267
0x6c7290 get_initializer_for
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20191103/work/gcc-10-20191103/gcc/tree.c:13553
0xedefb5 component_ref_size(tree_node*, bool*)
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20191103/work/gcc-10-20191103/gcc/tree.c:13663
0xeb4682 vrp_prop::check_array_ref(unsigned int, tree_node*, bool)
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20191103/work/gcc-10-20191103/gcc/tree-vrp.c:4166
0xeb767b vrp_prop::check_array_ref(unsigned int, tree_node*, bool)
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20191103/work/gcc-10-20191103/gcc/tree-vrp.c:4128
0xeb767b check_array_bounds
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20191103/work/gcc-10-20191103/gcc/tree-vrp.c:4678
0xee9781 walk_tree_1(tree_node**, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, false, default_hash_traits<tree_node*> >*,
tree_node* (*)(tree_node**, int*, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, false, default_hash_traits<tree_node*> >*))
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20191103/work/gcc-10-20191103/gcc/tree.c:11942
0xa08537 walk_gimple_op(gimple*, tree_node* (*)(tree_node**, int*, void*),
walk_stmt_info*)
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20191103/work/gcc-10-20191103/gcc/gimple-walk.c:202
0xeb010d check_array_bounds_dom_walker::before_dom_children(basic_block_def*)
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20191103/work/gcc-10-20191103/gcc/tree-vrp.c:4736
0x140ff8a dom_walker::walk(basic_block_def*)
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20191103/work/gcc-10-20191103/gcc/domwalk.c:309
0xeb8220 vrp_prop::check_all_array_refs()
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20191103/work/gcc-10-20191103/gcc/tree-vrp.c:4753
0xeb8220 vrp_prop::vrp_finalize(bool)
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20191103/work/gcc-10-20191103/gcc/tree-vrp.c:6797
0xec2826 execute_vrp
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20191103/work/gcc-10-20191103/gcc/tree-vrp.c:6865
