https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93669
Bug ID: 93669
Summary: ICE in dump_exploded_nodes, at analyzer/engine.cc:3239
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.1-alpha20200209 snapshot (g:8686c4d84517b54cf3dfe98fca3a814b7d606502)
ICEs when compiling gcc/testsuite/gcc.dg/analyzer/paths-2.c w/ -fanalyzer
--param analyzer-max-enodes-per-program-point=2:
% gcc-10.0.1 -fanalyzer --param analyzer-max-enodes-per-program-point=2 -c
gcc/testsuite/gcc.dg/analyzer/paths-2.c
during IPA pass: analyzer
cc1: internal compiler error: in dump_exploded_nodes, at
analyzer/engine.cc:3239
0x71c445 ana::exploded_graph::dump_exploded_nodes() const
/var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200209/work/gcc-10-20200209/gcc/analyzer/engine.cc:3239
0x10e93bb ana::impl_run_checkers(ana::logger*)
/var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200209/work/gcc-10-20200209/gcc/analyzer/engine.cc:3633
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
(I believe, it should not ICE even in the face of such parameters abuse.)
