https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93350
Bug ID: 93350
Summary: ICE in make_region_for_type, at
analyzer/region-model.cc:5975, or in get_lvalue_1, at
analyzer/region-model.cc:4609
Product: gcc
Version: 10.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
1.
gcc-10.0.0-alpha20200119 snapshot (g:3684bbb022cd75da55e1457673f269980aa12cdf)
ICEs when compiling gcc/testsuite/gcc.target/aarch64/sve/init_3.c w/
-fanalyzer:
% gcc-10.0.0-alpha20200119 -fanalyzer -w -c
gcc/testsuite/gcc.target/aarch64/sve/init_3.c
during IPA pass: analyzer
gcc/testsuite/gcc.target/aarch64/sve/init_3.c: In function 'foo':
gcc/testsuite/gcc.target/aarch64/sve/init_3.c:22:10: internal compiler error:
in make_region_for_type, at analyzer/region-model.cc:5975
22 | return (vnx4si) { 1, 2, 3, 4, 5, 6, a, b };
| ^
0x719eaf make_region_for_type
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/region-model.cc:5975
0x10ff08c region_model::add_region_for_type(region_id, tree_node*)
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/region-model.cc:5985
0x10ff08c map_region::get_or_create(region_model*, region_id, tree_node*,
tree_node*)
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/region-model.cc:1661
0x11007d3 region_model::get_lvalue(path_var, region_model_context*)
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/region-model.cc:4712
0x11067f6 region_model::on_assignment(gassign const*, region_model_context*)
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/region-model.cc:3911
0x10e1942 exploded_node::on_stmt(exploded_graph&, supernode const*, gimple
const*, program_state*, state_change*) const
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/engine.cc:942
0x10e24d1 exploded_graph::process_node(exploded_node*)
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/engine.cc:2433
0x10e29b2 exploded_graph::process_worklist()
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/engine.cc:2253
0x10e3039 impl_run_checkers(logger*)
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/engine.cc:3570
0x10e3ad3 run_checkers()
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/engine.cc:3624
0x10d9558 execute
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/w -o /dev/null
ork/gcc-10-20200119/gcc/analyzer/analyzer-pass.cc:84
2.
W/ -O1 -fanalyzer:
% gcc-10.0.0-alpha20200119 -O1 -fanalyzer -w -c
gcc/testsuite/gcc.target/aarch64/sve/init_3.c
during IPA pass: analyzer
gcc/testsuite/gcc.target/aarch64/sve/init_3.c: In function 'foo':
gcc/testsuite/gcc.target/aarch64/sve/init_3.c:22:10: internal compiler error:
in get_lvalue_1, at analyzer/region-model.cc:4609
22 | return (vnx4si) { 1, 2, 3, 4, 5, 6, a, b };
| ^
0x71ae1b region_model::get_lvalue_1(path_var, region_model_context*)
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/region-model.cc:4609
0x11007d3 region_model::get_lvalue(path_var, region_model_context*)
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/region-model.cc:4712
0x11067f6 region_model::on_assignment(gassign const*, region_model_context*)
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/region-model.cc:3911
0x10e1942 exploded_node::on_stmt(exploded_graph&, supernode const*, gimple
const*, program_state*, state_change*) const
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/engine.cc:942
0x10e24d1 exploded_graph::process_node(exploded_node*)
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/engine.cc:2433
0x10e29b2 exploded_graph::process_worklist()
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/engine.cc:2253
0x10e3039 impl_run_checkers(logger*)
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/engine.cc:3570
0x10e3ad3 run_checkers()
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/engine.cc:3624
0x10d9558 execute
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/analyzer-pass.cc:84
The ICE is not target-specific.
