https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93356
Bug ID: 93356
Summary: ICE in add_constraint, at
analyzer/constraint-manager.cc:672
Product: gcc
Version: 10.0
Status: UNCONFIRMED
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 the following testcase w/ -fanalyzer:
void
hl (double i5)
{
if (__builtin_isnan (i5))
return;
}
% gcc-10.0.0-alpha20200119 -fanalyzer -c vecyehmo.c
during IPA pass: analyzer
vecyehmo.c: In function 'hl':
vecyehmo.c:4:6: internal compiler error: in add_constraint, at
analyzer/constraint-manager.cc:672
4 | if (__builtin_isnan (i5))
| ^
0x78de26 constraint_manager::add_constraint(equiv_class_id, tree_code,
equiv_class_id)
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/constraint-manager.cc:672
0x11026ed region_model::add_constraint(tree_node*, tree_code, tree_node*,
region_model_context*)
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/region-model.cc:5284
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
