https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93649
Bug ID: 93649
Summary: ICE in get_representative, at
analyzer/constraint-manager.cc:297
Product: gcc
Version: 10.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: ---
Created attachment 47810
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=47810&action=edit
Testcase
gcc-10.0.1-alpha20200209 snapshot (g:8686c4d84517b54cf3dfe98fca3a814b7d606502)
ICEs when compiling the attached testcase w/ -O2 -fanalyzer:
% gcc-10.0.1 -O2 -fanalyzer -w -c a0avgfhq.c
during IPA pass: analyzer
a0avgfhq.c: In function 'ts':
a0avgfhq.c:59:7: internal compiler error: in get_representative, at
analyzer/constraint-manager.cc:297
59 | h5 (cx);
| ^~~~~~~
0x792f18 ana::equiv_class::get_representative() const
/var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200209/work/gcc-10-20200209/gcc/analyzer/constraint-manager.cc:297
0x792f18 ana::equiv_class::get_representative() const
/var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200209/work/gcc-10-20200209/gcc/analyzer/constraint-manager.cc:291
0x792f18 ana::constraint_manager::canonicalize(unsigned int)
/var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200209/work/gcc-10-20200209/gcc/analyzer/constraint-manager.cc:1260
0x1104209 ana::region_model::canonicalize(ana::region_model_context*)
/var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200209/work/gcc-10-20200209/gcc/analyzer/region-model.cc:3787
0x10f86dd ana::program_state::prune_for_point(ana::exploded_graph&,
ana::program_point const&, ana::state_change*) const
/var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200209/work/gcc-10-20200209/gcc/analyzer/program-state.cc:915
0x10e531e ana::exploded_graph::get_or_create_node(ana::program_point const&,
ana::program_state const&, ana::state_change*)
/var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200209/work/gcc-10-20200209/gcc/analyzer/engine.cc:1841
0x10e84e9 ana::exploded_graph::process_node(ana::exploded_node*)
/var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200209/work/gcc-10-20200209/gcc/analyzer/engine.cc:2465
0x10e8c62 ana::exploded_graph::process_worklist()
/var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200209/work/gcc-10-20200209/gcc/analyzer/engine.cc:2266
0x10e9389 ana::impl_run_checkers(ana::logger*)
/var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200209/work/gcc-10-20200209/gcc/analyzer/engine.cc:3617
0x10e9e2c ana::run_checkers()
/var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200209/work/gcc-10-20200209/gcc/analyzer/engine.cc:3674
0x10df5b8 execute
/var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200209/work/gcc-10-20200209/gcc/analyzer/analyzer-pass.cc:84
