https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93457
Bug ID: 93457
Summary: ICE in make_region_for_type, at
analyzer/region-model.cc:5983
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: ---
gcc-10.0.1-alpha20200126 snapshot (g:787c79e559f5f011989b94298346d89542eb9052)
ICEs when compiling the following testcase w/ -fanalyzer:
void
p5 (const void *);
void
s5 (const void *cl)
{
p5 (&cl[1]);
}
% gcc-10.0.1-alpha20200126 -fanalyzer -w -c tjscjfme.c
during IPA pass: analyzer
tjscjfme.c: In function 's5':
tjscjfme.c:7:3: internal compiler error: in make_region_for_type, at
analyzer/region-model.cc:5983
7 | p5 (&cl[1]);
| ^~~~~~~~~~~
0x71c05f make_region_for_type
/var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200126/work/gcc-10-20200126/gcc/analyzer/region-model.cc:5983
0x11032cc ana::region_model::add_region_for_type(ana::region_id, tree_node*)
/var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200126/work/gcc-10-20200126/gcc/analyzer/region-model.cc:5993
0x11032cc ana::array_region::get_or_create(ana::region_model*, ana::region_id,
int, tree_node*)
/var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200126/work/gcc-10-20200126/gcc/analyzer/region-model.cc:2331
0x1103829 ana::region_model::get_or_create_mem_ref(tree_node*, ana::svalue_id,
ana::svalue_id, ana::region_model_context*)
/var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200126/work/gcc-10-20200126/gcc/analyzer/region-model.cc:6526
0x110a3ac ana::region_model::get_or_create_pointer_plus_expr(tree_node*,
ana::svalue_id, ana::svalue_id, ana::region_model_context*)
/var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200126/work/gcc-10-20200126/gcc/analyzer/region-model.cc:6546
0x110a3ac ana::region_model::on_assignment(gassign const*,
ana::region_model_context*)
/var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200126/work/gcc-10-20200126/gcc/analyzer/region-model.cc:3977
0x10e4f92 ana::exploded_node::on_stmt(ana::exploded_graph&, ana::supernode
const*, gimple const*, ana::program_state*, ana::state_change*) const
/var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200126/work/gcc-10-20200126/gcc/analyzer/engine.cc:948
0x10e5b21 ana::exploded_graph::process_node(ana::exploded_node*)
/var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200126/work/gcc-10-20200126/gcc/analyzer/engine.cc:2439
0x10e6002 ana::exploded_graph::process_worklist()
/var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200126/work/gcc-10-20200126/gcc/analyzer/engine.cc:2259
0x10e6689 ana::impl_run_checkers(ana::logger*)
/var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200126/work/gcc-10-20200126/gcc/analyzer/engine.cc:3580
0x10e7123 ana::run_checkers()
/var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200126/work/gcc-10-20200126/gcc/analyzer/engine.cc:3634
0x10dcbe8 execute
/var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200126/work/gcc-10-20200126/gcc/analyzer/analyzer-pass.cc:84
I believe this ICE is different from PR93350.
