https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97130
Bug ID: 97130
Summary: [11 Regression] ICE in deref_rvalue, at
analyzer/region-model.cc:1462
Product: gcc
Version: 11.0
Status: UNCONFIRMED
Keywords: ice-on-invalid-code
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
gcc-11.0.0-alpha20200920 snapshot (g:363e7755f227656684c8e284307ceee451503ca4)
ICEs when compiling the following testcase w/ -fanalyzer:
void *
memset (int, int, __SIZE_TYPE__);
void
mp (int xl)
{
memset (xl, 0, sizeof xl);
}
% gcc-11.0.0 -fanalyzer -w -c oxnsb1da.c
during IPA pass: analyzer
oxnsb1da.c: In function 'mp':
oxnsb1da.c:7:3: internal compiler error: in deref_rvalue, at
analyzer/region-model.cc:1462
7 | memset (xl, 0, sizeof xl);
| ^~~~~~~~~~~~~~~~~~~~~~~~~
0x7335ac ana::region_model::deref_rvalue(ana::svalue const*, tree_node*,
ana::region_model_context*)
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200920/work/gcc-11-20200920/gcc/analyzer/region-model.cc:1462
0x114a98e ana::region_model::impl_call_memset(ana::call_details const&)
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200920/work/gcc-11-20200920/gcc/analyzer/region-model-impl-calls.cc:312
0x114092d ana::region_model::on_call_pre(gcall const*,
ana::region_model_context*)
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200920/work/gcc-11-20200920/gcc/analyzer/region-model.cc:742
0x111dfc4 ana::exploded_node::on_stmt(ana::exploded_graph&, ana::supernode
const*, gimple const*, ana::program_state*) const
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200920/work/gcc-11-20200920/gcc/analyzer/engine.cc:1084
0x111fa7d ana::exploded_graph::process_node(ana::exploded_node*)
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200920/work/gcc-11-20200920/gcc/analyzer/engine.cc:2724
0x112055a ana::exploded_graph::process_worklist()
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200920/work/gcc-11-20200920/gcc/analyzer/engine.cc:2359
0x112265f ana::impl_run_checkers(ana::logger*)
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200920/work/gcc-11-20200920/gcc/analyzer/engine.cc:4310
0x112327c ana::run_checkers()
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200920/work/gcc-11-20200920/gcc/analyzer/engine.cc:4378
0x1117038 execute
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200920/work/gcc-11-20200920/gcc/analyzer/analyzer-pass.cc:84
The failing assert was introduced in
g:35e3f0829d8e9cdc7ea19917c9f3a7add3f14847.
