https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93379
Bug ID: 93379
Summary: ICE in set_value, at analyzer/region-model.cc:5149
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.0-alpha20200119 snapshot (g:3684bbb022cd75da55e1457673f269980aa12cdf)
ICEs when compiling gcc/testsuite/gcc.dg/torture/pr57330.c w/ -O1 -fanalyzer:
% gcc-10.0.0-alpha20200119 -O1 -fanalyzer -c
gcc/testsuite/gcc.dg/torture/pr57330.c
during IPA pass: analyzer
gcc/testsuite/gcc.dg/torture/pr57330.c: In function 'foo':
gcc/testsuite/gcc.dg/torture/pr57330.c:4:1: internal compiler error: in
set_value, at analyzer/region-model.cc:5149
4 | {}
| ^
0x71a53c region_model::set_value(region_id, svalue_id, region_model_context*)
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/region-model.cc:5149
0x11021c0 region_model::update_for_return_superedge(return_superedge const&,
region_model_context*)
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/region-model.cc:5672
0x11071c7 region_model::maybe_update_for_edge(superedge const&, gimple const*,
region_model_context*)
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/region-model.cc:5599
0x10ee36f program_state::on_edge(exploded_graph&, exploded_node const&,
superedge const*, state_change*)
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/program-state.cc:727
0x10db1e9 exploded_node::on_edge(exploded_graph&, superedge const*,
program_point*, program_state*, state_change*) const
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/engine.cc:1075
0x10e238e exploded_graph::process_node(exploded_node*)
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/engine.cc:2500
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
